Peter Buchholz
-
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
Improved bounds for performability evaluation algorithms using state generation
Performance Evaluation