Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux
Article de revue (2009)
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
:
Journal of Logic and Computation
(
vol.
19
,
no
6
)
Maison d'édition:
Oxford Academic
URL officielle:
OAI:
oai:publications.polymtl.ca:19908
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., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. https://doi.org/10.1093/logcom/exp036
Statistiques
Dimensions
