@PhdThesis{PNeukirchen2004,
  author   = {Helmut Wolfram Neukirchen},
  title    = {Languages, Tools and Patterns for the Specification of Distributed Real-Time Test},
  year     = {2004},
  type     = {PhDReview},
  file     = {PhDReviewed/Neukirchen2004 - Languages, Tools and Patterns for the Specification of Distributed Real Time Test.pdf:PDF},
  location = {Mathematisch-Naturwissenschaftlichen Fakult{\"a}t, Georg-August-Universit{\"a}t zu G{\"o}ttingen}
}