Approximate symbolic model checking of continous-time Markov chains

Christel Baier, J.C.M. Baeten (Editor), S. Mauw (Editor), Joost P. Katoen, H. Hermanns

    Research output: Contribution to conferencePaperpeer-review

    Fingerprint

    Dive into the research topics of 'Approximate symbolic model checking of continous-time Markov chains'. Together they form a unique fingerprint.