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. Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In: Raskin J-F, Chatterjee K, Doyen L, Majumdar R, eds. Principles of Systems Design. Vol 13660. LNCS. Cham: Springer Nature Switzerland; 2022:292-305. doi:10.1007/978-3-031-22337-2_14
View
| DOI