Modelchecking large structured Markov chains (0)

by P Buchholz, J P Katoen, P Kemper, C Tepper
Venue:JLAP