Reference Search

Reference

For Word

[n]	A. Beckmann, “Automated Verification Environment for TwinCAT PLC Programs”, in Proc. 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. 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