creators_name: Schmalz, Matthias
creators_name: Varacca, Daniele
creators_name: Völzer, Hagen
type: conference_item
datestamp: 2009-09-07 11:30:33
lastmod: 2009-09-07 11:30:33
metadata_visibility: show
title: Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
ispublished: pub
subjects: deploy_method_other
full_text_status: none
pres_type: paper
date: 2009
date_type: published
event_title: Concur
event_type: conference
refereed: TRUE
related_url_url: http://www.infsec.ethz.ch/people/mschmalz
related_url_type: author
citation:   Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen  (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains.  In: Concur.