Article de revue (2006)
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/23341/ |
| Titre de la revue: | Revista Computacion y Sistemas (vol. 10, no 2) |
| URL officielle: | https://cys.cic.ipn.mx/ojs/index.php/CyS/article/v... |
| Date du dépôt: | 18 avr. 2023 15:17 |
| Dernière modification: | 05 avr. 2024 11:08 |
| Citer en APA 7: | Boucheneb, H. (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. Revista Computacion y Sistemas, 10(2), 107-134. https://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1137/1229 |
|---|---|
Statistiques
Aucune statistique n'est disponible.
Actions réservées au personnel
|
Afficher document |
