Skip to Main content Skip to Navigation
Directions of work or proceedings

Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016

Catuscia Palamidessi 1 
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01995888
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Monday, January 28, 2019 - 4:06:12 AM
Last modification on : Thursday, January 20, 2022 - 5:27:39 PM

Identifiers

  • HAL Id : hal-01995888, version 1

Citation

Catuscia Palamidessi. 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⟩

Share

Metrics

Record views

44