Hanifa Boucheneb and Rachid Hadjidj
Paper (2007)
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/22208/ |
| Conference Title: | 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007) |
| Conference Location: | Algiers, Algeria |
| Conference Date(s): | 2007-05-05 - 2007-05-06 |
| Publisher: | British Computer Society |
| DOI: | 10.14236/ewic/vecos2007.2 |
| Official URL: | https://doi.org/10.14236/ewic/vecos2007.2 |
| Date Deposited: | 18 Apr 2023 15:16 |
| Last Modified: | 08 Apr 2025 02:09 |
| Cite in APA 7: | Boucheneb, H., & Hadjidj, R. (2007, May). Model checking of time Petri nets [Paper]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. https://doi.org/10.14236/ewic/vecos2007.2 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
