Communication Dans Un Congrès
Année : 2014
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01091168
Soumis le : jeudi 4 décembre 2014-17:34:41
Dernière modification le : vendredi 24 mars 2023-14:52:59
Dates et versions
Identifiants
- HAL Id : hal-01091168 , version 1
Citer
C. Aiswarya, Paul Gastin. Reasoning about distributed systems: WYSIWYG. 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. ⟨hal-01091168⟩
Collections
117
Consultations
0
Téléchargements