3264 documents avec fichiers associés – 5421 références bibliographiques  [english version]
.:. Listes > Toutes les collaborations avec l'ENS Cachan > ARLES .:.
1 document
Transactional Reduction of Component Compositions
Haddad S., Poizat P.
In Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07) - Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), Estonia (2007) [hal-00342086 - version 1]