Communication Dans Un Congrès
Année : 2003
Gregor Gössler : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00665173
Soumis le : mercredi 1 février 2012-12:34:00
Dernière modification le : jeudi 4 avril 2024-20:50:44
Dates et versions
Identifiants
- HAL Id : hal-00665173 , version 1
Citer
Gregor Gössler, Joseph Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). FSTTCS'03, Dec 2003, Mumbai, India. ⟨hal-00665173⟩
Collections
81
Consultations
0
Téléchargements