Model checking probabiliste

1. Improving Stochastic Model Checking with Stochastic Bounds, J.M. Fourneau, N. Pekergin, S. Younes Workshop Modelling and Performance Evaluation for Quality of Service in Next Generation Internet, in IEEE SAINT 2005 Conference, Italy, 2005.