Languages
Jump To : Overview | Titles | Subjects

Larsen, Kim Guldstrand.

Overview
Works: 1 works in 3 publications in 1 languages
Titles
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: Potapov, Igor.; Srba, Jiri.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Larsen, Kim Guldstrand. (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.; Willemse, Tim.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Ji.; SpringerLink (Online service); Larsen, Kim Guldstrand.; Sokolsky, Oleg. (Language materials, printed)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / by: Potapov, Igor.; Larsen, Kim Guldstrand.; Srba, Jiří.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by: D'Souza, Deepak.; SpringerLink (Online service); Lal, Akash.; Larsen, Kim Guldstrand. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: D'Souza, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lal, Akash.; Larsen, Kim Guldstrand. (Language materials, printed)
 
 
Change password
Login