The 10,000 Facets of MDP Model Checking

Cham / Springer (2019) [Buchbeitrag]

Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.)
Seite(n): 420-451

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Baier, Christel
Hermanns, Holger
Katoen, Joost-Pieter

Identifikationsnummern