Farkas, Rebeka. “Verification of Timed Automata by CEGAR-Based Algorithms.” Master’s thesis, Budapest University of Technology and Economics, 2016.

@mastersthesis{farkas-rebeka-msc,
  author = {Farkas, Rebeka},
  title = {Verification of Timed Automata by {CEGAR}-Based Algorithms},
  school = {Budapest University of Technology and Economics},
  year = {2016},
  type = {Master{\textquoteright}s thesis}
}