Hanifa Boucheneb, Kamel Barkaoui
Communication écrite (2010)
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:
12th International Workshop on Verification of Infinite-State Systems
Lieu de la conférence:
Singapore
Date(s) de la conférence:
2010-09-21
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:18597
ORCID
Date du dépôt:
18 avr. 2023 15:13
Dernière modification:
14 oct. 2026 11:21
Citer en APA 7:
Boucheneb, H., & Barkaoui, K. (septembre 2010). On interleaving in {P,A}-Time Petri nets with strong semantics [Communication écrite]. 12th International Workshop on Verification of Infinite-State Systems, Singapore. https://doi.org/10.4204/eptcs.39.2
Statistiques
Dimensions
