Reference Search

Reference

For Word

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

Use Complete Form

Metadata

Paper Title: PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
Paper URL: https://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf
Conference: 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15)
Paper ID: WEPGF092
Location in proceedings: 911-914
Original Author String: D. Darvas, E. Blanco Vinuela, B. Fernandez Adiego (B. Fern?índez Adiego) [CERN, Geneva, Switzerland]

Associated Authors

Back to the list