@phdthesis{Greifeneder2007,
  author      = {J{\"u}rgen Greifeneder},
  title       = {Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme},
  type        = {doctoralthesis},
  school      = {Technische Universit{\"a}t Kaiserslautern},
  year        = {2007},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-21542},
}