88
Voted
TACAS
2000
Springer
15 years 11 days ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...