The quantitative µ-calculus

Aachen / Publikationsserver der RWTH Aachen University (2013) [Dissertation / PhD Thesis]

Page(s): XII, 126 S. : graph. Darst.

Authors

Selected Authors

Fischer, Diana

Identifier

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