Molnár, Vince. “Advanced Saturation-Based Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2014.

@mastersthesis{molnar-vince-msc,
  author = {Moln{\'a}r, Vince},
  title = {Advanced Saturation-based Model Checking},
  school = {Budapest University of Technology and Economics},
  year = {2014},
  type = {Master{\textquoteright}s thesis}
}