The following publications are possibly variants of this publication:
- Verification of Timed Circuits with Failure Directed AbstractionsHao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda. iccd 2003: 28-35 [doi]
- Automatic Abstraction for Verification of Timed Circuits and SystemsHao Zheng, Eric Mercer, Chris J. Myers. cav 2001: 182-193 [doi]
- Modular verification of timed circuits using automatic abstractionHao Zheng, Eric Mercer, Chris J. Myers. tcad, 22(9):1138-1153, 2003. [doi]