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
:
International Journal on Software Tools for Technology Transfer
(
vol.
10
,
no
2
)
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:20710
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
14 oct. 2026 12:52
Citer en APA 7:
Hadjidj, R., & Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), 167-184. https://doi.org/10.1007/s10009-007-0040-3
Statistiques
Dimensions
