DMCA

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains (2001)

by Gabriel G. Infante Lopez , Holger Hermanns , Joost-pieter Katoen
Venue:In Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification, volume 2165 of LNCS
Citations:30 - 6 self