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

R. Hadjidj et Hanifa Boucheneb

Communication écrite (2005)

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/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
Date du dépôt:	18 avr. 2023 15:18
Dernière modification:	05 avr. 2024 11:09

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
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