ETMCC: Model Checking Performability Properties of Markov Chains.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Browse the full DSN paper archive.