A New Reachability Algorithm for Symmetric Multi-processor Architecture.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill

Browse the full ATVA paper archive.