Model checking CSL:::TA::: with Deterministic and Stochastic Petri Nets

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]

Abstract

Abstract is missing.