Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2018
Catuscia Palamidessi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01995888
Soumis le : lundi 28 janvier 2019-04:06:12
Dernière modification le : vendredi 24 mars 2023-14:53:09
Dates et versions
Identifiants
- HAL Id : hal-01995888 , version 1
Citer
Catuscia Palamidessi (Dir.). Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016. Palamidessi, Catuscia; Silva, Alexandra; Shankar, Natarajan. IEEE, 2018. ⟨hal-01995888⟩
Collections
48
Consultations
0
Téléchargements