Transactional Reduction of Component Compositions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Dates et versions

hal-00342086 , version 1 (26-11-2008)

Identifiants

Citer

Serge Haddad, Pascal Poizat. Transactional Reduction of Component Compositions. Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), 2007, Tallin, Estonia. pp.341--357, ⟨10.1007/978-3-540-73196-2_22⟩. ⟨hal-00342086⟩
184 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More