An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.

Jason Baumgartner Anson Tripp Adnan Aziz Vigyan Singhal Flemming Andersen An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. 5-19 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#BaumgartnerTASA00