| Title | PLCverif: A tool to verify PLC programs based on model checking techniques |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E. |
| Editor | Corvetti, L., Riches, K., and Schaa, V. R. W. |
| Conference Name | Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems |
| Date Published | 10/2015 |
| Publisher | JACoW |
| Conference Location | Melbourne, Australia |
| ISBN Number | 978-3-95450-148-9 |
| URL | http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf092.pdf |
| DOI | 10.18429/JACoW-ICALEPCS2015-WEPGF092 |
