| Cím | Bringing Automated Model Checking to PLC Program Development – A CERN Case Study |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2014 |
| Szerzők | Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M. |
| Szerkesztő | Lesage, J-J., Faure, J-M., Cury, J R. E., and Lennartson, B. |
| Konferencia neve | Proceedings of the 12th International Workshop on Discrete Event Systems |
| Kiadás dátuma | 05/2014 |
| Kiadó | International Federation of Automatic Control |
| Konferencia helyszíne | Paris, France |
| ISBN-szám | 978-3-902823-61-8 |
| URL | https://cds.cern.ch/record/1956439 |
| DOI | 10.3182/20140514-3-FR-4046.00051 |
