DocumentCode

861428

Title

Leak Checking in ISABELLE

Author

Briggs, J. ; Halama, H.J.

Author_Institution

Brookhaven National Laboratory Upton, New York 11973

Volume

28

Issue

3

fYear

1981

fDate

6/1/1981 12:00:00 AM

Firstpage

3330

Lastpage

3332

Keywords

Acceleration; Cryogenics; Detectors; Helium; Leak detection; Particle beams; Refrigeration; Superconducting magnets; Vacuum systems; Welding;

fLanguage

English

Journal_Title

Nuclear Science, IEEE Transactions on

Publisher

ieee

ISSN

0018-9499

Type

jour

DOI

10.1109/TNS.1981.4332096

Filename

4332096