@mastersthesis{Blatt2020,
  author      = {Jonas Blatt},
  title       = {Prototyping a Verification Tool for Decision Model and Notation},
  type        = {masterthesis},
  pages       = {viii, 104},
  school      = {Universit{\"a}t Koblenz, Universit{\"a}tsbibliothek},
  year        = {2020},
}