A Framework for Performance Evaluation and Functional Verification in Stochastic Process Algebras (2008)

by Hossein Hojjat, et al.
Venue:SAC'08