Trace theory for automatic hierarchical verification of speed-independent circuits

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

Computer Aided Verification