Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Résumé
no abstract
Communication Dans Un Congrès
Année : 2004
Jean-Claude Royer : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00457192
Soumis le : mardi 16 février 2010-17:17:42
Dernière modification le : mardi 19 novembre 2024-20:09:19
Dates et versions
Identifiants
- HAL Id : hal-00457192 , version 1
Citer
Olivier Maréchal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519. ⟨hal-00457192⟩
Collections
174
Consultations
0
Téléchargements