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

Cached

Download Links

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:24 - 4 self