The quantitative µ-calculus

Aachen / Publikationsserver der RWTH Aachen University (2013) [Doktorarbeit]

Seite(n): XII, 126 S. : graph. Darst.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Fischer, Diana

Identifikationsnummern

  • URN: urn:nbn:de:hbz:82-opus-46199
  • REPORT NUMBER: RWTH-CONV-144745