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
2022 | Published | Book Chapter | IST-REx-ID: 20062
Henzinger, M. (2022). Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In J.-F. Raskin, K. Chatterjee, L. Doyen, & R. Majumdar (Eds.), Principles of Systems Design (Vol. 13660, pp. 292–305). Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-22337-2_14
View
| DOI