Model checking continuous-time Markov chains by transient analysis (2000)

by Christel Baier , Boudewijn Haverkort , Holger Hermanns , Joost-Pieter Katoen
Citations:69 - 17 self