The 10,000 Facets of MDP Model Checking

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

Cham : Springer (2019)
Buchbeitrag

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

Identifikationsnummern