Publication [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. doi.. Downloads: bibURL: https://doi.org/10.1016/j.jcss.2017.05.014
