DMCA

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

by Christel Baier , Boudewijn Haverkort , Holger Hermanns , Joost-Pieter Katoen
Citations:89 - 21 self