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
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01995888
Contributor : Catuscia Palamidessi <>
Submitted on : Monday, January 28, 2019 - 4:06:12 AM
Last modification on : Friday, April 30, 2021 - 9:58:35 AM

Identifiers

  • HAL Id : hal-01995888, version 1

Collections

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

65