@techreport{TDK2011_DarvasJambor,
    author = {Darvas, D\'aniel and J\'ambor, Attila},
    title = {Komplex rendszerek modellez\'ese \'es verifik\'aci\'oja [in {H}ungarian; {M}odeling and verification of complex systems]},
    year = {2011},
	type = {Scientific Students' Association Report},
    school = {Budapest University of Technology and Economics},
    pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/TDK2011_DarvasJambor.pdf},
    bib-link = {TDK2011_DarvasJambor.bib},
    note = {1st prize on the Competition of the Scientific Students' Association, Budapest University of Technology and Economics},
    url = {http://tdk.bme.hu/VIK/Szoftver/Komplex-rendszerek-modellezese},
	local-event = {true},
}