[FengZ17] Precisely deciding CSL formulas through approximate model checking for CTMCs Feng, Y. and Zhang, L. In J. Comput. Syst. Sci., 89: 361-371, 2017.
Downloads: bib