|
СБ |
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./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 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Groote J. F.
- Larsen K. G.
|
|
|
12.05.2021 |
|
СБ |
Formal Methods for Industrial Critical Systems: Proc./24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Larsen K. G.
- Willemse T.A. C.
|
|
|
28.08.2019 |
|
СБ |
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday |
2019 |
|
Lecture Notes in Computer Science |
- Margaria T.
- Graf S.
- Larsen K. G.
|
|
|
14.08.2019 |
