Article de revue (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:
Titre de la revue
:
Revista Computacion y Sistemas
(
vol.
10
,
no
2
)
URL officielle:
OAI:
oai:publications.polymtl.ca:23341
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 12:56
Citer en APA 7:
Boucheneb, H. (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. [Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo]. Revista Computacion y Sistemas, 10(2), 107-134. https://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1137/1229
Statistiques
Aucune statistique n'est disponible.
