| Title | Formal verification of complex properties on PLC programs |
| Publication Type | Book Chapter |
| Year of Publication | 2014 |
| Authors | Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M. |
| Editor | Ábrahám, E., and Palamidessi, C. |
| Book Title | Formal Techniques for Distributed Objects, Components, and Systems |
| Series Title | LNCS |
| Volume | 8461 |
| Pagination | 284-299 |
| Publisher | Springer |
| ISBN Number | 978-3-662-43612-7 |
| URL | http://link.springer.com/chapter/10.1007/978-3-662-43613-4_18 |
| DOI | 10.1007/978-3-662-43613-4_18 |
