"Prioritized Traversal: Efficient Reachability Analysis for Verification ..."

Ranan Fraer et al. (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics