Model Checking for a Probabilistic Branching Time Logic with Fairness

[BK98] C. Baier and M. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing, 11(3), pages 125-155. 1998. [ps.gz] [bib]

Downloads:

ps.gz (303 KB) $bib$ bib

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search