@article{Feng_2017,
    title = {Precisely deciding CSL formulas through approximate model checking for CTMCs},
    volume = {89},
    issn = {0022-0000},
    url = {http://dx.doi.org/10.1016/j.jcss.2017.05.014},
    doi = {10.1016/j.jcss.2017.05.014},
    journal = {Journal of Computer and System Sciences},
    publisher = {Elsevier BV},
    author = {Feng, Yuan and Zhang, Lijun},
    year = {2017},
    month = {nov},
    pages = {361–371},
    date-added = {2026-3-10 8:27:39 +0100}
}

@article{Feng_2017, title = {Precisely deciding CSL formulas through approximate model checking for CTMCs}, volume = {89}, issn = {0022-0000}, url = {http://dx.doi.org/10.1016/j.jcss.2017.05.014}, doi = {10.1016/j.jcss.2017.05.014}, journal = {Journal of Computer and System Sciences}, publisher = {Elsevier BV}, author = {Feng, Yuan and Zhang, Lijun}, year = {2017}, month = {nov}, pages = {361–371}, date-added = {2026-3-10 8:27:39 +0100} }