@inproceedings{Mesterproba2013_Darvas,
	author = {D\'aniel Darvas and Andr\'as V\"or\"os},
	title = {Szatur\'aci\'oalap\'u tesztbemenet-gener\'al\'as sz\'inezett {P}etri-h\'al\'okkal [in {H}ungarian; {S}aturation-based test input generation using coloured {P}etri nets]},
	year = {2013},
	booktitle = {Mesterpr\'oba 2013. Konferenciakiadv\'any},
	publisher = {Budapest University of Technology and Economics},
	location = {Budapest, Hungary},
	pages = {48-51},
	bib-link = {Mesterproba2013_Darvas.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/Mesterproba2013_Darvas.pdf},
	local-event = {true},
	url = {http://www.mesterproba.hu/files/mesterproba2013_kiadvany_N.pdf},
	mtmt = {2768060},
}