Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk).

Monika Henzinger

Browse the full ICALP paper archive.