Home Advanced Search

Advanced Search - Page 1

Reactive Systems: Modelling, Specification and Verification
  • PDF
  • English
  • Year: 2007
  • Author: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Reactive Systems: Modelling, Specification and Verification
  • PDF
  • English
  • Year: 2007
  • Author: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Reactive systems: modelling, specification and verification
  • PDF
  • English
  • Year: 2007
  • Author: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
Mathematical Models for the Semantics of Parallelism: Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Luca Aceto, Rocco De Nicola (auth.), Marisa Venturini Zilli (eds.)
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2017
  • Author: Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Taolue Chen, Wan Fokkink, Sumit Nain (auth.), Luca Aceto, Anna Ingólfsdóttir (eds.)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
search