Darvas, Dániel. “Incremental Extension of the Saturation Algorithm-Based Bounded Model Checking of Petri Nets.” Master’s thesis, Budapest University of Technology and Economics, 2014.

@mastersthesis{darvas-daniel-msc,
  author = {Darvas, D{\'a}niel},
  title = {Incremental extension of the saturation algorithm-based bounded model checking of Petri nets},
  school = {Budapest University of Technology and Economics},
  year = {2014},
  type = {Master{\textquoteright}s thesis}
}