Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Protocol Specification, Testing and Verification XIV
  • PDF
  • English
  • Year: 1995
  • Author: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Gérard Berry (auth.), Ed Brinksma (eds.)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Kim Guldstrand Larsen, Tim Willemse
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Jan Friso Groote, Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Jan Friso Groote, Kim Guldstrand Larsen
search