Verification of asynchronous interface circuits with bounded wire delays
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Abstract interpretation of combinational asynchronous circuits
Science of Computer Programming
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
| Hi-index | 0.01 |