Reference Search

Favourites

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

References

• D. Darvas, E. Blanco Vinuela, and I. Majzik, “A Formal Specification Method for PLC-based Applications”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, Oct. 2015, pp. 907-910.