<  Back to the Polytechnique Montréal portal

Parametric verification of time workflow nets

Hanifa Boucheneb and Kamel Barkaoui

Paper (2012)

This item is not archived in PolyPublie
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/15745/
Conference Title: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
Conference Location: Redwood City, CA, USA
Conference Date(s): 2012-07-01 - 2012-07-03
Date Deposited: 18 Apr 2023 15:10
Last Modified: 25 Sep 2024 15:53
Cite in APA 7: Boucheneb, H., & Barkaoui, K. (2012, July). Parametric verification of time workflow nets [Paper]. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, CA, USA.

Statistics

Stats are not available on this system.

Repository Staff Only

View Item View Item