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
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-01995887
Contributor : Catuscia Palamidessi <>
Submitted on : Monday, January 28, 2019 - 4:00:06 AM
Last modification on : Friday, April 30, 2021 - 9:58:35 AM

Identifiers

  • HAL Id : hal-01995887, version 1

Collections

Citation

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

Share

Metrics

Record views

50