Model Checking Infinite-State Markov Chains.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Browse the full TACAS paper archive.