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
Chapman & Hall
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.