@techreport{TDK2010_Darvas,
    author = {Darvas, D\'aniel},
    title = {Szatur\'aci\'o alap\'u automatikus modellellen\H{o}rz\H{o} fejleszt\'ese aszinkron rendszerekhez [in {H}ungarian; {I}mplementing a saturation-based model checker of asynchronous systems]},
    year = {2010},
	type = {Scientific Students' Association Report},
    school = {Budapest University of Technology and Economics},
    pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/OTDK2011_Darvas.pdf},
    bib-link = {TDK2010_Darvas.bib},
    note = {1st prize on the Competition of the Scientific Students' Association, Budapest University of Technology and Economics},
	local-event = {true},
}