Details for the publication FengZ17.

Yuan Feng (), Lijun Zhang: Precisely deciding CSL formulas through approximate model checking for CTMCs. In J. Comput. Syst. Sci. 89:361-371, 2017. DOI BIB