Reference Search

Favourites

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} }

References

• J. Briggs and H. J. Halama, “Leak Checking in ISABELLE”, in Proc. 9th Particle Accelerator Conf. (PAC'81), Washington D.C., USA, Mar. 1981, pp. 3330-3333.