JaCoW Logo

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. PAC'01, Chicago, IL, USA, Jun. 2001, paper WPPH125, pp. 2769-2771. 

For LaTeX

For BibTeX

Use Complete Form

Metadata

Paper Title: A Report on the Review and Formal Analysis of the SRS Personnel Safety System
Paper URL: https://jacow.org/p01/papers/WPPH125.pdf
Conference: 19th Particle Accelerator Conf. (PAC'01)
Paper ID: WPPH125
Location in proceedings: 2769-2771
Original Author String: M.T. Heron, J.R. Alexander, P.D. Quinn

Associated Authors


Back to the list