Книги автора «Kim Guldstrand Larsen»

На данной странице предаставлены все книги автора «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

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 (Jan Friso Groote,Kim Guldstrand Larsen)

Reachability Problems. 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems. 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Igor Potapov,Kim Guldstrand Larsen,Jiří Srba)

Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Kim Guldstrand Larsen,Tim Willemse)