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, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15698:212–16. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90660-2_14.
[Published Version]
View
| Files available
| DOI