@PhdThesis{PSeifert2007,
  author   = {Dirk Seifert},
  title    = {Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten},
  year     = {2007},
  type     = {PhDReview},
  file     = {PhDReviewed/Seifert2007 - Automatisiertes Testen Asynchroner Nichtdeterministischer Systeme Mit Daten.pdf:PDF},
  location = {Fakult{\"a}t IV - Elektrotechnik und Informatik, Technische Universit{\"a}t Berlin}
}