Model Checking Reconfigurable Processor Configurations for Safety Properties
Proc. Intl. Conf on FPL and Applications, 2003,,
Lisbon, Portugal, Sep. 2003.
John Cochran, Deepak Kapur and Darko Stefanovic

To view entire paper click here