Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin. Model checking of performance measures using bounding aggregations.
SPECTS 2008 : International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jun 2008, Edinburgh, United Kingdom. pp.98 - 104.
⟨hal-01342661⟩