Larsen, Kim Guldstrand books & textbook
Principles of Model Checking (Mit Press)
Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand
The MIT Press /2008-04-25 Hardcover / 975 Pages
isbn-10: 026202649X / isbn-13: 9780262026499
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca Ingólfsdóttir, Anna Larsen, Kim Guldstrand Srba, Jiri
Cambridge University Press /2007-08-13 Hardcover / 302 Pages
isbn-10: 0521875463 / isbn-13: 9780521875462
Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)
Groote, Jan Friso Larsen, Kim Guldstrand
Springer /2021-03-20 Paperback / 496 Pages
isbn-10: 3030720152 / isbn-13: 9783030720155
Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Theoretical Computer Science and General Issues)
Larsen, Kim Guldstrand Potapov, Igor Srba, Jiří
Springer /2016-09-13 Paperback / 207 Pages
isbn-10: 3319459937 / isbn-13: 9783319459936
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)
Larsen, Kim Guldstrand Sokolsky, Oleg Wang, Ji
Springer /2017-10-17 Paperback / 369 Pages
isbn-10: 3319694820 / isbn-13: 9783319694825
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Programming and Software Engineering)
Larsen, Kim Guldstrand Willemse, Tim
Springer /2019-07-25 Paperback / 180 Pages
isbn-10: 3030270076 / isbn-13: 9783030270070
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)
D'Souza, Deepak Lal, Akash Larsen, Kim Guldstrand
Springer /2015-01-07 Paperback / 486 Pages
isbn-10: 3662460807 / isbn-13: 9783662460801
