| Cím | Formal verification of complex properties on PLC programs |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2014 |
| Szerzők | Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M. |
| Szerkesztő | Ábrahám, E., and Palamidessi, C. |
| Könyvcím | Formal Techniques for Distributed Objects, Components, and Systems |
| Sorozatcím | LNCS |
| Kötet | 8461 |
| Pagination | 284-299 |
| Kiadó | Springer |
| ISBN-szám | 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 |
