Computing Publications

Publications Home » Comparing CTL and PCTL on Labeled...

Comparing CTL and PCTL on Labeled Markov Chains

Michael Huth, Marta Z. Kwiatkowska

Conference or Workshop Paper
IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods 1998, June 2-6, Shelter Island, New York
1998
pp.244–262
Chapman & Hall
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.