Verifying continuous time markov chains (1996)

by Brayton
Venue:In Proc. of Conference on Computer-Aided Veri