MC=MC: Model Checking Infinite-State Markov Chains

Publications: in EPrints
Further information: http://wwwhome.cs.utwente.nl/~zapreevis/research.html