Non-interference in Partial Order Models

Béatrice Bérard, Loïc Hélouët et John Mullins

Communication écrite (2015)

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/34938/
Nom de la conférence:	15th International Conference on Application of Concurrency to System Design (ACSD 2015)
Lieu de la conférence:	Brussels, Belgium
Date(s) de la conférence:	2015-06-21 - 2015-06-26
Maison d'édition:	IEEE
DOI:	10.1109/acsd.2015.11
URL officielle:	https://doi.org/10.1109/acsd.2015.11
Date du dépôt:	18 avr. 2023 15:06
Dernière modification:	05 avr. 2024 11:27

Citer en APA 7:	Bérard, B., Hélouët, L., & Mullins, J. (juin 2015). Non-interference in Partial Order Models [Communication écrite]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. https://doi.org/10.1109/acsd.2015.11
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