Rachid 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 |
| ISBN: | 0769523633 |
| 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: | 08 Apr 2025 02:12 |
| 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 |
