Home Advanced Search

Advanced Search - Page 1

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
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.)
Principles of Model Checking
  • PDF
  • English
  • Year: 2008
  • Author: Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
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.)
Reactive Systems: Modelling, Specification and Verification
  • PDF
  • English
  • Year: 2007
  • Author: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
search