Reference Search

Reference

For Word

[n]	D. Darvas, I. Majzik, and E. Blanco Vinuela, “What is Special About PLC Software Model Checking?”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 1781-1786. doi:10.18429/JACoW-ICALEPCS2017-THPHA159

For LaTeX

%\cite{Darvas:ICALEPCS17-THPHA159} \bibitem{Darvas:ICALEPCS17-THPHA159} D. Darvas, I. Majzik, and E. Blanco Vinuela, \textquotedblleft{What is Special About PLC Software Model Checking?}\textquotedblright, in \emph{Proc. ICALEPCS’17}, Barcelona, Spain, Oct. 2017, pp. 1781--1786. \url{doi:10.18429/JACoW-ICALEPCS2017-THPHA159}

For BibTeX

@inproceedings{darvas:icalepcs17-thpha159, author = {D. Darvas and I. Majzik and E. Blanco Vinuela}, title = {{What is Special About PLC Software Model Checking?}}, booktitle = {Proc. ICALEPCS'17}, pages = {1781--1786}, paper = {THPHA159}, venue = {Barcelona, Spain, Oct. 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2017-THPHA159}, url = {https://jacow.org/icalepcs2017/papers/THPHA159.pdf}, language = {english} }

Use Complete Form

Metadata

Paper Title: What is Special About PLC Software Model Checking?
Paper URL: https://jacow.org/icalepcs2017/papers/THPHA159.pdf
Conference: 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17)
Paper ID: THPHA159
Location in proceedings: 1781-1786
Original Author String: D. Darvas, I. Majzik [BUTE, Budapest, Hungary] E. Blanco Vinuela (E. Blanco Vi??uela) [CERN, Geneva, Switzerland]

Associated Authors

Back to the list