Three-valued abstraction for continuous-time markov chains (2007)

by Joost-pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Venue:In Proceedings of the International Conference on Computer Aided Verification