CITATION STYLE
Huth, M. R. A., & Kwiatkowska, M. Z. (1998). Comparing CTL and PCTL on Labeled Markov Chains. In Programming Concepts and Methods PROCOMET ’98 (pp. 244–262). Springer US. https://doi.org/10.1007/978-0-387-35358-6_18
Mendeley helps you to discover research relevant for your work.