@inproceedings {Minisy2017_Darvas, title = {Well-Formedness and Invariant Checking of PLCspecif Specifications}, booktitle = {Proceedings of the 24th PhD Mini-Symposium}, year = {2017}, pages = {10-13}, publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, isbn = {978-963-313-243-2}, doi = {10.5281/zenodo.291889}, url = {http://oszkdk.oszk.hu/DRJ/19248}, author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique} }