• Fine-Grained Complexity Lower...

*Result*: Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification

Title:
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
Authors:
Henzinger, Monika
Source:
Lecture notes in computer science. 13660:292-305
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN631547007&indx=1&recIds=ETOCRN631547007
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings