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