| Cím | PLCverif: A tool to verify PLC programs based on model checking techniques |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2015 |
| Szerzők | Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E. |
| Szerkesztő | Corvetti, L., Riches, K., and Schaa, V. R. W. |
| Konferencia neve | Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems |
| Kiadás dátuma | 10/2015 |
| Kiadó | JACoW |
| Konferencia helyszíne | Melbourne, Australia |
| ISBN-szám | 978-3-95450-148-9 |
| URL | http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf092.pdf |
| DOI | 10.18429/JACoW-ICALEPCS2015-WEPGF092 |
