Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati
Communication écrite (2014)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9783319105123
Adresse URL de PolyPublie:
Nom de la conférence:
12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014)
Lieu de la conférence:
Florence, Italy
Date(s) de la conférence:
2014-09-08 - 2014-09-10
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:12658
ORCID
Date du dépôt:
18 avr. 2023 15:07
Dernière modification:
14 oct. 2026 11:12
Citer en APA 7:
Boucheneb, H., Barkaoui, K., & Weslati, K. (septembre 2014). Delay-dependent partial order reduction technique for time petri nets [Communication écrite]. 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy. https://doi.org/10.1007/978-3-319-10512-3_5
Statistiques
Dimensions
