Model-checking algorithms for continuous-time Markov chains (2003)

Cached

Download Links

by Christel Baier , Boudewijn Haverkort , Holger Hermanns , Joost-Pieter Katoen
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:128 - 26 self