Well-Formedness and Invariant Checking of PLCspecif Specifications
| Cím | Well-Formedness and Invariant Checking of PLCspecif Specifications |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2017 |
| Szerzők | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Konferencia neve | Proceedings of the 24th PhD Mini-Symposium |
| Kiadó | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
| ISBN-szám | 978-963-313-243-2 |
| URL | http://oszkdk.oszk.hu/DRJ/19248 |
| DOI | 10.5281/zenodo.291889 |
| Refereed Designation | Refereed |
