Reference Search

Reference

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

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. \url{doi:10.18429/JACoW-ICALEPCS2019-MOBPP01}

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} }

Metadata