Hanifa Boucheneb
et R. Hadjidj
Communication écrite (2007)
Un lien externe est disponible pour ce document
| Renseignements supplémentaires: | Nom historique du département: Département de génie informatique |
|---|---|
| Département: | Département de génie informatique et génie logiciel |
| URL de PolyPublie: | https://publications.polymtl.ca/22208/ |
| Nom de la conférence: | 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007) |
| Lieu de la conférence: | Algiers, Algeria |
| Date(s) de la conférence: | 2007-05-05 - 2007-05-06 |
| Maison d'édition: | British Computer Society |
| DOI: | 10.14236/ewic/vecos2007.2 |
| URL officielle: | https://doi.org/10.14236/ewic/vecos2007.2 |
| Date du dépôt: | 18 avr. 2023 15:16 |
| Dernière modification: | 25 sept. 2024 16:01 |
| Citer en APA 7: | Boucheneb, H., & Hadjidj, R. (mai 2007). Model checking of time Petri nets [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. https://doi.org/10.14236/ewic/vecos2007.2 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
