Model Checking Action- and State-Labelled Markov Chains.

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle

Browse the full DSN paper archive.