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 | OA
M. Chalupa and C. Richter, “BUBAAK: Dynamic cooperative verification,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15698, pp. 212–216.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn=9783031906596

Search

Filter Publications

  • Display / Sort

    Citation Style: IEEE

    Export / Embed