JACoW logo

Joint Accelerator Conferences Website

The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.


BiBTeX citation export for WEPGF092: PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques

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