The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{Darvas:ICALEPCS2015-WEPGF092,
author = {D. Darvas and E. Blanco Vinuela and B. Fernández Adiego},
title = {{PLC}verif: {A} {T}ool to {V}erify {PLC} {P}rograms {B}ased on {M}odel {C}hecking {T}echniques},
booktitle = {Proc. of International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15),
Melbourne, Australia, 17-23 October 2015},
pages = {911--914},
paper = {WEPGF092},
language = {english},
keywords = {PLC, software, controls, framework, background},
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-WEPGF092},
url = {http://jacow.org/icalepcs2015/papers/wepgf092.pdf},
note = {doi:10.18429/JACoW-ICALEPCS2015-WEPGF092},
}