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 : jeudi 1 août 2024-17:08:02
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
33
Consultations
0
Téléchargements