title: Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
creator: Schmalz, Matthias
creator: Varacca, Daniele
creator: Völzer, Hagen
subject: Other
date: 2009
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen  (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains.  In: Concur.     
relation: http://deploy-eprints.ecs.soton.ac.uk/147/