Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: an expressive language for statistical verification of stochastic models. In Samson Lasaulce, Dieter Fiems, Peter G. Harrison, Luc Vandendorpe, editors, 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011. pages 306-315, ICST/ACM, 2011. [doi]
Abstract is missing.