DMCA

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:233 - 47 self