Pattern Matching and Membership for Hierarchical Message Sequence Charts - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Theory of Computing Systems Année : 2008

Pattern Matching and Membership for Hierarchical Message Sequence Charts

Domaines

Autre [cs.OH]

Anca Muscholl  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00344207

Soumis le : jeudi 4 décembre 2008-10:44:42

Dernière modification le : vendredi 24 mars 2023-14:52:51

Fichier non déposé

Dates et versions

hal-00344207 , version 1 (04-12-2008)

Identifiants

  • HAL Id : hal-00344207 , version 1

Citer

Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems, 2008, 42 (4), pp.536--567. ⟨hal-00344207⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES LIAFA IRISA IRISA-D2 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
94 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More