Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.)
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)
NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
  • PDF
  • English
  • Year: 1993
  • Author: Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)
search