@inproceedings{Darvas:ICALEPCS2015_PLCverif,
  author = {Darvas, D\'aniel and Fern\'andez Adiego, Borja and Blanco Vi{\~n}uela, Enrique},
  title = {{PLCverif}: A tool to verify {PLC} programs based on model checking techniques},
  booktitle = {Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2015},
  editor = {Lou Corvetti and Kathleen Riches and Volker R.W. Schaa},
  pages = {911-914},
  publisher = {JACoW},
  isbn = {978-3-95450-148-9},
  doi = {10.18429/JACoW-ICALEPCS2015-WEPGF092},
  pdf-link = {http://darvasd.hu/publications/WEPGF092.pdf},
  bib-link = {ICALEPCS2015_PLCverif.bib},
  url = {http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf092.pdf},
  mtmt = {3036806},
}