The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{Darvas:ICALEPCS2015-WEPGF091,
author = {D. Darvas and E. Blanco Vinuela and I. Majzik},
title = {{A} {F}ormal {S}pecification {M}ethod for {PLC-}based {A}pplications},
booktitle = {Proc. of International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15),
Melbourne, Australia, 17-23 October 2015},
pages = {907--910},
paper = {WEPGF091},
language = {english},
keywords = {PLC, controls, software, target, operation},
venue = {Melbourne, Australia},
series = {International Conference on Accelerator and Large Experimental Physics Control Systems},
number = {15},
publisher = {JACoW},
address = {Geneva, Switzerland},
month = {Dec.},
year = {2015},
isbn = {978-3-95450-148-9},
doi = {doi:10.18429/JACoW-ICALEPCS2015-WEPGF091},
url = {http://jacow.org/icalepcs2015/papers/wepgf091.pdf},
note = {doi:10.18429/JACoW-ICALEPCS2015-WEPGF091},
}