Ivan Lanese profile picture

Ivan Lanese

Is this your author profile? Create an account to customize it!

Stand Alone

Theoretical Computer Science
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science 8th Ifip Tc 1/Wg 2. 2 International Conference, Tcs 2014, Rome, Italy, September 1-3, 2014. Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings