Formal Methods and Stochastic Models for Performance EvaluationEPEW 2007 (2007 Berlin, Germany)₹4,236
