Article de revue (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:
Titre de la revue
:
Fundamenta Informaticae
(
vol.
88
,
no
4
)
URL officielle:
OAI:
oai:publications.polymtl.ca:21060
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
08 oct. 2026 17:16
Citer en APA 7:
Boucheneb, H., & Rakkay, H. (2008). A more efficient time petri net state space abstraction useful to model checking timed linear properties. Fundamenta Informaticae, 88(4), 469-495. https://content.iospress.com/articles/fundamenta-informaticae/fi88-4-04
Statistiques
Aucune statistique n'est disponible.
