Reference Search

Reference

For Word

[n]	A. Beckmann, “Automated Verification Environment for TwinCAT PLC Programs”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper MOPPC082, pp. 288-291. 

For LaTeX

%\cite{Beckmann:ICALEPCS13-MOPPC082} \bibitem{Beckmann:ICALEPCS13-MOPPC082} A. Beckmann, \textquotedblleft{Automated Verification Environment for TwinCAT PLC Programs}\textquotedblright, in \emph{Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS’13)}, San Francisco, CA, USA, Oct. 2013, paper MOPPC082, pp. 288--291.

For BibTeX

@inproceedings{beckmann:icalepcs13-moppc082, author = {A. Beckmann}, title = {{Automated Verification Environment for TwinCAT PLC Programs}}, booktitle = {Proc. ICALEPCS'13}, pages = {288--291}, paper = {MOPPC082}, venue = {San Francisco, CA, USA, Oct. 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/ICALEPCS2013/papers/MOPPC082.pdf}, language = {english} }

Metadata