Model Checking Markov Chains with Actions and State Labels

Christel Baier, L. Cloth, Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Markus Siegle

Research output: Contribution to journalArticleScientificpeer-review

57 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model Checking Markov Chains with Actions and State Labels'. Together they form a unique fingerprint.

Engineering & Materials Science