On-the-fly T C T L model checking for time Petri nets

Rachid Hadjidj, Hanifa Boucheneb

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
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Adresse URL de PolyPublie:
https://publications.polymtl.ca/19511/
Titre de la revue :
Theoretical Computer Science ( vol. 410 , no 42 )
Maison d'édition:
Elsevier
DOI:
10.1016/j.tcs.2009.06.019
URL officielle:
https://doi.org/10.1016/j.tcs.2009.06.019
OAI:
oai:publications.polymtl.ca:19511
ORCID
Date du dépôt:
18 avr. 2023 15:14
Dernière modification:
14 oct. 2026 11:23
Citer en APA 7:
Hadjidj, R., & Boucheneb, H. (2009). On-the-fly T C T L model checking for time Petri nets. Theoretical Computer Science, 410(42), 4241-4261. https://doi.org/10.1016/j.tcs.2009.06.019

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document