Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2025 | Published | Conference Paper | IST-REx-ID: 19739 | 
Chalupa, M., & Richter, C. (2025). BUBAAK: Dynamic cooperative verification. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90660-2_14
[Published Version]
View
| Files available
| DOI