CSL Model Checking for Generalized Stochastic Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston. CSL Model Checking for Generalized Stochastic Petri Nets. In Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pages 199-210, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Davide Cerotti' in GoogleThis author has not been identified. Look up 'Susanna Donatelli' in GoogleThis author has not been identified. Look up 'András Horváth' in GoogleThis author has not been identified. Look up 'Jeremy Sproston' in Google

runs on WebDSL