Hajdu, Ákos. “Extensions to the CEGAR Approach on Petri Nets.” Bachelor’s thesis, Budapest University of Technology and Economics, 2013.

@mastersthesis{hajdu-akos-bsc,
  author = {Hajdu, \'Akos},
  title = {Extensions to the {CEGAR} Approach on {P}etri Nets},
  school = {Budapest University of Technology and Economics},
  year = {2013},
  type = {Bachelor{\textquoteright}s thesis}
}