Hanifa Boucheneb, Kamel Barkaoui
Communication écrite (2008)
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:
9783540857785
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:21062
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
14 oct. 2026 12:53
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
