<  Back to the Polytechnique Montréal portal

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

R. Hadjidj and Hanifa Boucheneb

Paper (2005)

An external link is available for this item
Additional Information: Nom historique du département: Département de génie informatique
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/24097/
Conference Title: 5th International Conference on Application of Concurrency to System Design (ACSD 2005)
Conference Location: St. Malo, France
Conference Date(s): 2005-06-07 - 2005-06-09
Publisher: IEEE Computer Society
DOI: 10.1109/acsd.2005.28
Official URL: https://doi.org/10.1109/acsd.2005.28
Date Deposited: 18 Apr 2023 15:18
Last Modified: 05 Apr 2024 11:09
Cite in APA 7: Hadjidj, R., & Boucheneb, H. (2005, June). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Paper]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. https://doi.org/10.1109/acsd.2005.28

Statistics

Dimensions

Repository Staff Only

View Item View Item