@mastersthesis{BScThesis2011_Darvas,
    author = {D\'aniel Darvas},
    title = {{P}etri-h\'al\'o alap\'u form\'alis modellek anal\'izise hat\'ekony korl\'atos modellellen\H{o}rz\'esi technik\'ak seg\'its\'eg\'evel [in {H}ungarian; {E}fficient bounded model checking techniques for {P}etri net based formal models]},
    year = {2011},
    school = {Budapest University of Technology and Economics},
    url = {https://diplomaterv.vik.bme.hu/Theses/Petrihalo-alapu-formalis-modellek-analizise},
    bib-link = {BScThesis2011_Darvas.bib},
    type = {Bachelor's Thesis},
	pres-link = {http://petridotnet.inf.mit.bme.hu/publications/BScThesis2011_Darvas_pres.pdf},
}