Hanifa Boucheneb et Kamel Barkaoui
Communication écrite (2008)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9783540857785 |
| URL de PolyPublie: | https://publications.polymtl.ca/21062/ |
| Nom de la conférence: | 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008) |
| Lieu de la conférence: | St-Malo, FR |
| Date(s) de la conférence: | 2008-09-15 - 2008-09-17 |
| Maison d'édition: | Springer-Verlag |
| DOI: | 10.1007/978-3-540-85778-5_19 |
| URL officielle: | https://doi.org/10.1007/978-3-540-85778-5_19 |
| Date du dépôt: | 18 avr. 2023 15:15 |
| Dernière modification: | 08 avr. 2025 02:08 |
| Citer en APA 7: | Boucheneb, H., & Barkaoui, K. (septembre 2008). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs [Communication écrite]. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), St-Malo, FR. https://doi.org/10.1007/978-3-540-85778-5_19 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
