A New Reachability Algorithm for Symmetric Multi-processor Architecture.

Debashis Sahoo Jawahar Jain Subramanian K. Iyer David L. Dill A New Reachability Algorithm for Symmetric Multi-processor Architecture. 26-38 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_5 db/conf/atva/atva2005.html#SahooJID05