@phdthesis{Stangier2004,
  author      = {Christian Stangier},
  title       = {High-level Methods for OBDD-based Sequential Verification},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Trier},
  doi       = {10.25353/ubtr-xxxx-630d-a6f0/},
  year        = {2004},
}