Model checking CSL:::TA::: with Deterministic and Stochastic Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elvio Gilberto Amparore, Susanna Donatelli. Model checking CSL:::TA::: with Deterministic and Stochastic Petri Nets. In Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010. pages 605-614, IEEE, 2010. [doi]

This author has not been identified. Look up 'Elvio Gilberto Amparore' in GoogleThis author has not been identified. Look up 'Susanna Donatelli' in Google

runs on WebDSL