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

Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS)

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-01995887
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Monday, January 28, 2019 - 4:00:06 AM
Last modification on : Thursday, January 20, 2022 - 5:27:41 PM

Identifiers

  • HAL Id : hal-01995887, version 1

Citation

Catuscia Palamidessi. Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS). Palamidessi, Catuscia. 2015. ⟨hal-01995887⟩

Share

Metrics

Record views

27