The quantitative µ-calculus

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Fischer, Diana

Identifikationsnummern

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