The quantitative µ-calculus 2013-04-23

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


Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Fischer, Diana

Identifikationsnummern

  • : urn:nbn:de:hbz:82-opus-46199