Path Exploration Tool.

Elsa L. Gunter, Doron A. Peled

Browse the full TACAS paper archive.