Model checking of time Petri nets

Hanifa Boucheneb et R. Hadjidj

Communication écrite (2007)

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/22208/
Nom de la conférence:	1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007)
Lieu de la conférence:	Algiers, Algeria
Date(s) de la conférence:	2007-05-05 - 2007-05-06
Maison d'édition:	British Computer Society
DOI:	10.14236/ewic/vecos2007.2
URL officielle:	https://doi.org/10.14236/ewic/vecos2007.2
Date du dépôt:	18 avr. 2023 15:16
Dernière modification:	05 avr. 2024 11:06

Citer en APA 7:	Boucheneb, H., & Hadjidj, R. (mai 2007). Model checking of time Petri nets [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. https://doi.org/10.14236/ewic/vecos2007.2
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