@inproceedings {FMTU2012_Darvas,
  author =	{Darvas, D\'aniel},
  title =	{Szatur\'aci\'o alap\'u korl\'atos modellellen\H{o}rz\'esi technik\'ak {P}etri-h\'al\'ok anal\'izis\'ere [in {H}ungarian; {S}aturation based bounded model checking methods for the analysis of {P}etri nets]},
  booktitle = {XVII. Fiatal M\H{u}szakiak Tudom\'anyos \"Ul\'esszaka},
  year = {2012},
  publisher = {Erd\'elyi M\'uzeum-Egyes\"ulet M\H{u}szaki Tudom\'anyok Szakoszt\'alya},
  address = {Cluj Napoca, Romania},
  pages = {83-86},
  bib-link = {FMTU2012_Darvas.bib},
  pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/FMTU2012_Darvas.pdf},
  local-event = {true},
  url = {http://eda.eme.ro/handle/10598/15499},
  mtmt = {2768061},
}