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}, }