Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2015
Catuscia Palamidessi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01995887
Soumis le : lundi 28 janvier 2019-04:00:06
Dernière modification le : vendredi 24 mars 2023-14:53:09
Dates et versions
Identifiants
- HAL Id : hal-01995887 , version 1
Citer
Catuscia Palamidessi (Dir.). Proceedings of the IEEE/ACM Symposium on
Logic in Computer Science (LICS). Palamidessi, Catuscia. 2015. ⟨hal-01995887⟩
Collections
31
Consultations
0
Téléchargements