Hanifa Boucheneb, Kamel Barkaoui
Article de revue (2013)
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:
Titre de la revue
:
Transactions on Embedded Computing Systems
(
vol.
12
,
no
1
)
Maison d'édition:
Association for Computing Machinery
URL officielle:
OAI:
oai:publications.polymtl.ca:14218
ORCID
Date du dépôt:
18 avr. 2023 15:09
Dernière modification:
14 oct. 2026 11:15
Citer en APA 7:
Boucheneb, H., & Barkaoui, K. (2013). Reducing interleaving semantics redundancy in reachability analysis of time petri nets. Transactions on Embedded Computing Systems, 12(1), 1-24. https://doi.org/10.1145/2406336.2406343
Statistiques
Dimensions
