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, Monika. “Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.” Principles of Systems Design, edited by Jean-François Raskin et al., vol. 13660, Springer Nature Switzerland, 2022, pp. 292–305, doi:10.1007/978-3-031-22337-2_14.
View
| DOI