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.” In Principles of Systems Design, edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar, 13660:292–305. LNCS. Cham: Springer Nature Switzerland, 2022. https://doi.org/10.1007/978-3-031-22337-2_14.
View
| DOI