Andrea Bobbio;Laura Roberti
-;-
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Probabilistic modeling
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing