Reference Search

Favourites

For Word

[n]	W. Radloff, “The New Beam Position Measurement System for the DESY Synchrotron”, in Proc. PAC'81, Washington D.C., USA, Mar. 1981, pp. 2287-2290. 

[n]	D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. ICALEPCS'15, Melbourne, Australia, Oct. 2015, pp. 911-914. doi:10.18429/JACoW-ICALEPCS2015-WEPGF092

For LaTeX

%\cite{Radloff:PAC81} \bibitem{Radloff:PAC81} W. Radloff, \textquotedblleft{The New Beam Position Measurement System for the DESY Synchrotron}\textquotedblright, in \emph{Proc. PAC’81}, Washington D.C., USA, Mar. 1981, pp. 2287--2290. %\cite{Darvas:ICALEPCS15-WEPGF092} \bibitem{Darvas:ICALEPCS15-WEPGF092} D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, \textquotedblleft{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}\textquotedblright, in \emph{Proc. ICALEPCS’15}, Melbourne, Australia, Oct. 2015, pp. 911--914. \url{doi:10.18429/JACoW-ICALEPCS2015-WEPGF092}

For BibTeX

@inproceedings{radloff:pac81, author = {W. Radloff}, title = {{The New Beam Position Measurement System for the DESY Synchrotron}}, booktitle = {Proc. PAC'81}, pages = {2287--2290}, paper = {}, venue = {Washington D.C., USA, Mar. 1981}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{darvas:icalepcs15-wepgf092, author = {D. Darvas and E. Blanco Vinuela and B. Fernandez Adiego}, title = {{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}}, booktitle = {Proc. ICALEPCS'15}, pages = {911--914}, paper = {WEPGF092}, venue = {Melbourne, Australia, Oct. 2015}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2015-WEPGF092}, url = {https://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf}, language = {english} }

References

• W. Radloff, “The New Beam Position Measurement System for the DESY Synchrotron”, in Proc. 9th Particle Accelerator Conf. (PAC'81), Washington D.C., USA, Mar. 1981, pp. 2287-2290.
• D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, Oct. 2015, pp. 911-914.