| Title | Conformance Checking for Programmable Logic Controller Programs and Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Conference Name | 11th IEEE International Symposium on Industrial Embedded Systems (SIES) |
| Date Published | 05/2016 |
| Publisher | IEEE |
| Conference Location | Kraków, Poland |
| ISBN Number | 978-1-5090-2282-3 |
| URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409 |
| DOI | 10.1109/SIES.2016.7509409 |
| Refereed Designation | Refereed |
