Reference Search

Favourites

For Word

[n]	E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 21. doi:10.18429/JACoW-ICALEPCS2019-MOBPP01

[n]	B. Bernstein and I. Smith, “Aurora, an Electron Accelerator”, in Proc. PAC'73, San Francisco, CA, USA, Mar. 1973, pp. 294-301. 

[n]	D. Horan, R. Kustom, and M. Ferguson, “Performance of a 2-Megawatt High Voltage Test Load”, in Proc. PAC'95, Dallas, TX, USA, May 1995, paper RPP12, pp. 1988-1990. 

For LaTeX

%\cite{Blanco Vinuela:ICALEPCS19-MOBPP01} \bibitem{Blanco Vinuela:ICALEPCS19-MOBPP01} E. Blanco Vinuela, D. Darvas, and V. Molnar, \textquotedblleft{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 21. \doi{10.18429/JACoW-ICALEPCS2019-MOBPP01} %\cite{Bernstein:PAC73} \bibitem{Bernstein:PAC73} B. Bernstein and I. Smith, \textquotedblleft{Aurora, an Electron Accelerator}\textquotedblright, in \emph{Proc. PAC’73}, San Francisco, CA, USA, Mar. 1973, pp. 294--301. %\cite{Horan:PAC95-RPP12} \bibitem{Horan:PAC95-RPP12} D. Horan, R. Kustom, and M. Ferguson, \textquotedblleft{Performance of a 2-Megawatt High Voltage Test Load}\textquotedblright, in \emph{Proc. PAC’95}, Dallas, TX, USA, May 1995, paper RPP12, pp. 1988--1990.

For BibTeX

@inproceedings{blanco vinuela:icalepcs19-mobpp01, author = {E. Blanco Vinuela and D. Darvas and V. Molnar}, title = {{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}}, booktitle = {Proc. ICALEPCS'19}, pages = {21}, paper = {MOBPP01}, venue = {New York, NY, USA}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {17}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2020}, issn = {2226-0358}, isbn = {978-3-95-450209-7}, doi = {10.18429/JACoW-ICALEPCS2019-MOBPP01}, url = {https://jacow.org/icalepcs2019/papers/MOBPP01.pdf}, language = {english} } @inproceedings{bernstein:pac73, author = {B. Bernstein and I. Smith}, title = {{Aurora, an Electron Accelerator}}, booktitle = {Proc. PAC'73}, pages = {294--301}, paper = {}, venue = {San Francisco, CA, USA}, series = {Particle Accelerator Conference}, number = {5}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {6}, year = {1973}, language = {english} } @inproceedings{horan:pac95-rpp12, author = {D. Horan and R. Kustom and M. Ferguson}, title = {{Performance of a 2-Megawatt High Voltage Test Load}}, booktitle = {Proc. PAC'95}, pages = {1988--1990}, paper = {RPP12}, venue = {Dallas, TX, USA, May 1995}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} }

References

• E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 21.
• B. Bernstein and I. Smith, “Aurora, an Electron Accelerator”, in Proc. 5th Particle Accelerator Conf. (PAC'73), San Francisco, CA, USA, Mar. 1973, pp. 294-301.
• D. Horan, R. Kustom, and M. Ferguson, “Performance of a 2-Megawatt High Voltage Test Load”, in Proc. 16th Particle Accelerator Conf. (PAC'95), Dallas, TX, USA, May 1995, paper RPP12, pp. 1988-1990.