Languages
Jump To : Overview | Titles | Subjects

Larsen, Kim Guldstrand.

Overview
Works: 1 works in 6 publications in 1 languages
Titles
Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / by: Brinksma, Ed.; Larsen, Kim Guldstrand.; SpringerLink (Online service); CAV 2002 (Conference) ((2002 :); Federated Logic Conference. (Language materials, printed)
Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: Larsen, Kim Guldstrand.; SpringerLink (Online service); Willemse, Tim.; International Workshop on Formal Methods for Industrial Critical Systems (2019 :) (Electronic resources)
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: SETTA (Symposium) (2017 :); Larsen, Kim Guldstrand.; SpringerLink (Online service); Sokolsky, Oleg.; Wang, Ji. (Electronic resources)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service) (Electronic resources)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: RP (Workshop) (2016 :); Larsen, Kim Guldstrand.; Srba, Jiri.; SpringerLink (Online service); Potapov, Igor. (Electronic resources)
 
 
Change password
Login