@phdthesis{Appold2015,
  author      = {Christian Appold},
  title       = {Symbolische BDD-basierte Modellpr{\"u}fung asynchroner nebenl{\"a}ufiger Systeme},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year        = {2015},
}