کتاب های Kim Guldstrand Larsen
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.), 2004
Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.), 2016
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.), 2017
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
Jan Friso Groote, Kim Guldstrand Larsen, 2021
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
Jan Friso Groote, Kim Guldstrand Larsen, 2021
