@inproceedings{Minisy2016_Darvas,
	author = {Darvas, D\'aniel and Majzik, Istv\'an and Blanco Vi{\~n}uela, Enrique},
	title = {Generic Representation of {PLC} Programming Languages for Formal Verification},
	year = {2016},
	booktitle = {Proceedings of the 23rd PhD Mini-Symposium},
	pages = {6-9},
	isbn = {978-963-313-220-3},
	location = {Budapest, Hungary},
	pdf-link = {http://darvasd.hu/publications/Minisy2016_Darvas.pdf},
	bib-link = {Minisy2016_Darvas.bib},
	url = {https://www.mit.bme.hu/eng/system/files/oktatas/9860/23Minisymp_proceedings.pdf},
	local-event = {true},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	doi = {10.5281/zenodo.51064},
	mtmt = {3086481},
}