Automated Verification of Parallel Nested DFS.

Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol

Browse the full TACAS paper archive.