Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr

Browse the full LICS paper archive.