@CONFERENCE{MTMT:2768060,
	title = {Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal},
	url = {https://m2.mtmt.hu/api/publication/2768060},
	author = {Darvas, Dániel and Vörös, András},
	booktitle = {Mesterpróba 2013},
	unique-id = {2768060},
	year = {2013},
	pages = {48-51},
	orcid-numbers = {Darvas, Dániel/0000-0002-4092-1694}
}