R. Hadjdj and Hanifa Boucheneb
Book Section (2008)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9783902613127 |
| PolyPublie URL: | https://publications.polymtl.ca/20711/ |
| Publisher: | I-Tech Publishing |
| DOI: | 10.5772/5318 |
| Official URL: | https://doi.org/10.5772/5318 |
| Date Deposited: | 18 Apr 2023 15:15 |
| Last Modified: | 25 Sep 2024 15:59 |
| Cite in APA 7: | Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. In Petri Net: Theory and application . https://doi.org/10.5772/5318 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
