CORPORATE Intel Staff
-
Efficient Algorithms for Interface Timing Verification
Formal Methods in System Design
KOALA: a cost effective workstation for fast LISP interpretation
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems