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:
Adresse URL de PolyPublie:
Nom de la conférence:
10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008)
Lieu de la conférence:
Toronto, Canada
Date(s) de la conférence:
2008-08-23
Titre de la revue
:
Electronic Notes in Theoretical Computer Science
(
vol.
239
)
Maison d'édition:
Elsevier
URL officielle:
OAI:
oai:publications.polymtl.ca:19910
ORCID
Date du dépôt:
18 avr. 2023 15:14
Dernière modification:
14 oct. 2026 11:23
Citer en APA 7:
Boucheneb, H., & Barkaoui, K. (août 2008). Covering Steps Graphs of Time Petri Nets [Communication écrite]. 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008), Toronto, Canada. Publié dans Electronic Notes in Theoretical Computer Science, 239. https://doi.org/10.1016/j.entcs.2009.05.037
Statistiques
Dimensions
