Reference Search

Reference

For Word

[n]	M. T. Heron, J. R. Alexander, and P. D. Quinn, “A Report on the Review and Formal Analysis of the SRS Personnel Safety System”, in Proc. 19th Particle Accelerator Conf. (PAC'01), Chicago, IL, USA, Jun. 2001, paper WPPH125, pp. 2769-2771. 

For LaTeX

%\cite{Heron:PAC01-WPPH125} \bibitem{Heron:PAC01-WPPH125} M. T. Heron, J. R. Alexander, and P. D. Quinn, \textquotedblleft{A Report on the Review and Formal Analysis of the SRS Personnel Safety System}\textquotedblright, in \emph{Proc. 19th Particle Accelerator Conf. (PAC’01)}, Chicago, IL, USA, Jun. 2001, paper WPPH125, pp. 2769--2771.

For BibTeX

@inproceedings{heron:pac01-wpph125, author = {M. T. Heron and J. R. Alexander and P. D. Quinn}, title = {{A Report on the Review and Formal Analysis of the SRS Personnel Safety System}}, booktitle = {Proc. PAC'01}, pages = {2769--2771}, paper = {WPPH125}, venue = {Chicago, IL, USA, Jun. 2001}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/p01/papers/WPPH125.pdf}, language = {english} }

Metadata