Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1264.03087 Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013). MSC: 03B70 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013; Zbl 1264.03087) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Automata-based CSL model checking. (English) Zbl 1334.68135 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011). MSC: 68Q60 03B44 68Q45 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 6756, 271--282 (2011; Zbl 1334.68135) Full Text: DOI