HASL: An expressive language for statistical verification of stochastic models (2011)

by P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Venue:in VALUETOOLS