Mondok, Milán. “Formal Verification of Engineering Models via Extended Symbolic Transition Systems.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020.

@mastersthesis{mondok-milan-bsc,
  author = {Mondok, Mil\'an},
  title = {Formal verification of engineering models via extended symbolic transition systems},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {Bachelor{\textquoteright}s thesis}
}