The 10,000 Facets of MDP Model Checking

Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter (Corresponding author)

Cham / Springer (2019) [Buchbeitrag]

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

Identifikationsnummern