On-the-fly TCTL model checking for time Petri nets using state class graphs

Rachid Hadjidj et Hanifa Boucheneb

Communication écrite (2006)

Un lien externe est disponible pour ce document

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
URL de PolyPublie:	https://publications.polymtl.ca/23013/
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:	10.1109/acsd.2006.18
URL officielle:	https://doi.org/10.1109/acsd.2006.18
Date du dépôt:	18 avr. 2023 15:17
Dernière modification:	08 avr. 2025 02:10

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel