@PhdThesis{PZeiss2010,
  author   = {Benjamin Immanuel Eberhardt Elmar Zei{\ss}},
  title    = {Quality Assurance of Test Specifications for Reactive Systems},
  year     = {2010},
  month    = jun,
  type     = {PhDReview},
  file     = {PhDReviewed/Zeiss2010 - Quality Assurance of Test Specifications for Reactive Systems.pdf:PDF},
  location = {Mathematisch-Naturwissenschaftlichen Fakult{\"a}t, Georg-August-Universit{\"a}t zu G{\"o}ttingen}
}