Communication Dans Un Congrès
Année : 2008
Didier Galmiche : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00580304
Soumis le : dimanche 27 mars 2011-21:58:01
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : hal-00580304 , version 1
Citer
Didier Galmiche. Resource Trees: Models and Separation Logic. Int Workshop on Logics for Agents and Mobility, LAM'08, 2008, Hamburg, Germany. ⟨hal-00580304⟩
Collections
68
Consultations
0
Téléchargements