Are Parametric Markov Chains Monotonic?

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor)
Seite(n): 479-496

Autorinnen und Autoren

Autorinnen und Autoren

Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter

Identifikationsnummern