Rachid Hadjidj, Hanifa Boucheneb
Communication écrite (2006)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
6th International Conference on Application of Concurrency to System Design
Lieu de la conférence:
Turku, Finland
Date(s) de la conférence:
2006-06-28 - 2006-06-30
Maison d'édition:
Institute of Electrical and Electronics Engineers
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:23013
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 12:56
Citer en APA 7:
Hadjidj, R., & Boucheneb, H. (juin 2006). On-the-fly TCTL model checking for time Petri nets using state class graphs [Communication écrite]. 6th International Conference on Application of Concurrency to System Design, Turku, Finland. https://doi.org/10.1109/acsd.2006.18
Statistiques
Dimensions
