|
СБ |
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday |
2021 |
|
Lecture Notes in Computer Science |
- Olderog E. -R.
- Steffen B.
- Yi W.
|
|
|
20.12.2021 |
|
СБ |
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020 |
2021 |
|
Lecture Notes in Computer Science |
- Margaria T.
- Steffen B.
|
|
|
01.10.2021 |
|
СБ |
SOFSEM 2017: Theory and Practice of Computer Science: Proc./43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Steffen B.
- Baier C.
- Van Den Brand M.
- Eder J.
|
|
|
03.03.2017 |
