Hanifa Boucheneb and Kamel Barkaoui
Article (2013)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/14218/ |
| Journal Title: | Transactions on Embedded Computing Systems (vol. 12, no. 1) |
| Publisher: | Association for Computing Machinery |
| DOI: | 10.1145/2406336.2406343 |
| Official URL: | https://doi.org/10.1145/2406336.2406343 |
| Date Deposited: | 18 Apr 2023 15:09 |
| Last Modified: | 08 Apr 2025 01:41 |
| Cite in APA 7: | Boucheneb, H., & Barkaoui, K. (2013). Reducing interleaving semantics redundancy in reachability analysis of time petri nets. Transactions on Embedded Computing Systems, 12(1), 1-24. https://doi.org/10.1145/2406336.2406343 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
