Reference Search

Reference

For Word

[n]	D. Darvas, E. Blanco Vinuela, and I. Majzik, “A Formal Specification Method for PLC-based Applications”, in Proc. ICALEPCS'15, Melbourne, Australia, Oct. 2015, pp. 907-910. doi:10.18429/JACoW-ICALEPCS2015-WEPGF091

For LaTeX

%\cite{Darvas:ICALEPCS15-WEPGF091} \bibitem{Darvas:ICALEPCS15-WEPGF091} D. Darvas, E. Blanco Vinuela, and I. Majzik, \textquotedblleft{A Formal Specification Method for PLC-based Applications}\textquotedblright, in \emph{Proc. ICALEPCS’15}, Melbourne, Australia, Oct. 2015, pp. 907--910. \url{doi:10.18429/JACoW-ICALEPCS2015-WEPGF091}

For BibTeX

@inproceedings{darvas:icalepcs15-wepgf091, author = {D. Darvas and E. Blanco Vinuela and I. Majzik}, title = {{A Formal Specification Method for PLC-based Applications}}, booktitle = {Proc. ICALEPCS'15}, pages = {907--910}, paper = {WEPGF091}, venue = {Melbourne, Australia, Oct. 2015}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2015-WEPGF091}, url = {https://jacow.org/ICALEPCS2015/papers/WEPGF091.pdf}, language = {english} }

Use Complete Form

Metadata

Paper Title: A Formal Specification Method for PLC-based Applications
Paper URL: https://jacow.org/ICALEPCS2015/papers/WEPGF091.pdf
Conference: 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15)
Paper ID: WEPGF091
Location in proceedings: 907-910
Original Author String: D. Darvas, E. Blanco Vinuela [CERN, Geneva, Switzerland] I. Majzik [BUTE, Budapest, Hungary]

Associated Authors

Back to the list