The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{Darvas:ICALEPCS2017-THPHA159,
author = {D. Darvas and E. Blanco Viñuela and I. Majzik},
title = {{W}hat is {S}pecial {A}bout {PLC} {S}oftware {M}odel {C}hecking?},
booktitle = {Proc. of International Conference on Accelerator and Large Experimental Control Systems (ICALEPCS'17),
Barcelona, Spain, 8-13 October 2017},
pages = {1781--1786},
paper = {THPHA159},
language = {english},
keywords = {ion, PLC, MMI, software, controls},
venue = {Barcelona, Spain},
series = {International Conference on Accelerator and Large Experimental Control Systems},
number = {16},
publisher = {JACoW},
address = {Geneva, Switzerland},
month = {Jan.},
year = {2018},
isbn = {978-3-95450-193-9},
doi = {https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159},
url = {http://jacow.org/icalepcs2017/papers/thpha159.pdf},
note = {https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159},
}