Czipó, Bence. “Hierarchical Abstraction for the Verification of State-Based Systems.” Bachelor’s thesis, Budapest University of Technology and Economics, 2016.

@mastersthesis{czipo-bence-bsc,
  author = {Czip{\'o}, Bence},
  title = {Hierarchical Abstraction for the Verification of State-based Systems},
  school = {Budapest University of Technology and Economics},
  year = {2016},
  type = {Bachelor{\textquoteright}s thesis}
}