| Title | Bringing Automated Model Checking to PLC Program Development – A CERN Case Study |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M. |
| Editor | Lesage, J-J., Faure, J-M., Cury, J R. E., and Lennartson, B. |
| Conference Name | Proceedings of the 12th International Workshop on Discrete Event Systems |
| Date Published | 05/2014 |
| Publisher | International Federation of Automatic Control |
| Conference Location | Paris, France |
| ISBN Number | 978-3-902823-61-8 |
| URL | https://cds.cern.ch/record/1956439 |
| DOI | 10.3182/20140514-3-FR-4046.00051 |
