[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. PAC'01, Chicago, IL, USA, Jun. 2001, paper WPPH125, pp. 2769-2771.
%\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. PAC’01}, Chicago, IL, USA, Jun. 2001, paper WPPH125, pp. 2769--2771.
@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} }
