DMCA

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

Cached

Download Links

by Paolo Ballarini , Serge Haddad , Hilal Djafri , Nihal Pekergin , Marie Duflot
Venue:IN: VALUETOOLS 2011
Citations:18 - 10 self