Improving state class constructions for CTL* model checking of time Petri nets

R. Hadjidj et Hanifa Boucheneb

Article de revue (2008)

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/20710/
Titre de la revue:	International Journal on Software Tools for Technology Transfer (vol. 10, no 2)
Maison d'édition:	Springer
DOI:	10.1007/s10009-007-0040-3
URL officielle:	https://doi.org/10.1007/s10009-007-0040-3
Date du dépôt:	18 avr. 2023 15:15
Dernière modification:	05 avr. 2024 11:04

Citer en APA 7:	Hadjidj, R., & Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), 167-184. https://doi.org/10.1007/s10009-007-0040-3
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)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel