"147","Counterexamples in Probabilistic LTL Model Checking for Markov Chains.","","http://deploy-eprints.ecs.soton.ac.uk/147/","Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen","UNSPECIFIED","       <span class=\"person_name\">Schmalz, Matthias</span> and <span class=\"person_name\">Varacca, Daniele</span> and <span class=\"person_name\">Völzer, Hagen</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/147/\"><em>Counterexamples in Probabilistic LTL Model Checking for Markov Chains.</em></a>       In: Concur.           ","","2009"