Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Rachid Hadjidj, Hanifa Boucheneb

Communication écrite (2005)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
Département:
Département de génie informatique et génie logiciel
ISBN:
0769523633
Adresse URL de PolyPublie:
https://publications.polymtl.ca/24097/
Nom de la conférence:
5th International Conference on Application of Concurrency to System Design (ACSD 2005)
Lieu de la conférence:
St. Malo, France
Date(s) de la conférence:
2005-06-07 - 2005-06-09
Maison d'édition:
IEEE Computer Society
DOI:
10.1109/acsd.2005.28
URL officielle:
https://doi.org/10.1109/acsd.2005.28
OAI:
oai:publications.polymtl.ca:24097
ORCID
Date du dépôt:
18 avr. 2023 15:18
Dernière modification:
14 oct. 2026 12:58
Citer en APA 7:
Hadjidj, R., & Boucheneb, H. (juin 2005). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Communication écrite]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. https://doi.org/10.1109/acsd.2005.28

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document