SOFSEM 2009: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Mogens Nielsen (1) , Antonin Kucera (2) , Peter Bro Miltersen (1) , Catuscia Palamidessi (3) , Petr Tuma (4) , Frank D. Valencia (3, 5)

1 Department of Computer Science [Aarhus]
2 FI / MUNI - Faculty of Informatics [Brno]
3 COMETE - Concurrency, Mobility and Transactions
4 Department of Distributed and Dependable Systems
5 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Domaines: Logique en informatique [cs.LO]

Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, et al.. SOFSEM 2009: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science. Springer, 5404, pp.1-670, 2009, Lecture Notes in Computer Science, 978-3-540-95890-1. ⟨10.1007/978-3-540-95891-8⟩. ⟨hal-00772695⟩