Abstract Dependency Graphs and Their Application to Model Checking.

Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba

Browse the full TACAS paper archive.