Reference Search

Reference

For Word

[n]	J. Briggs and H. J. Halama, “Leak Checking in ISABELLE”, in Proc. PAC'81, Washington D.C., USA, Mar. 1981, pp. 3330-3333.

For LaTeX

%\cite{Briggs:PAC81} \bibitem{Briggs:PAC81} J. Briggs and H. J. Halama, \textquotedblleft{Leak Checking in ISABELLE}\textquotedblright, in \emph{Proc. PAC’81}, Washington D.C., USA, Mar. 1981, pp. 3330--3333.

For BibTeX

@inproceedings{briggs:pac81, author = {J. Briggs and H. J. Halama}, title = {{Leak Checking in ISABELLE}}, booktitle = {Proc. PAC'81}, pages = {3330--3333}, paper = {}, venue = {Washington D.C., USA, Mar. 1981}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} }

Use Complete Form

Metadata

Paper Title: Leak Checking in ISABELLE
Conference: 9th Particle Accelerator Conf. (PAC'81)
Paper ID:
Location in proceedings: 3330-3333
Original Author String: J. Briggs, H.J. Halama

Associated Authors

H. J. Halama
J. Briggs

Back to the list