@inproceedings{Darvas:ICALEPCS2017_MC,
  author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Majzik, Istv\'an},
  title = {What is Special About {PLC} Software Model Checking?},
  booktitle = {Proceedings of the 16th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2017},
  editor = {Volker R.W. Schaa and Isidre Costa and David Fern{\'a}ndez and {\'O}scar Matilla},
  pages = {1781-1786},
  publisher = {JACoW},
  isbn = {978-3-95450-193-9},
  doi = {10.18429/JACoW-ICALEPCS2017-THPHA159},
  pdf-link = {http://darvasd.hu/publications/THPHA159.pdf},
  bib-link = {ICALEPCS2017_MC.bib},
  url = {https://accelconf.web.cern.ch/ICALEPCS2017/papers/thpha159.pdf},
  mtmt = {3304079},
}