@phdthesis{Seuring2005,
  author      = {Markus Seuring},
  title       = {Output space compaction for testing and concurrent checking},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2005},
}