Parametric Verification of TimeWorkflow Nets

Hanifa Boucheneb, Kamel Barkaoui. Parametric Verification of TimeWorkflow Nets. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 375-380, Knowledge Systems Institute Graduate School, 2012.

Abstract

Abstract is missing.