Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne Wolf. Efficient Algorithms for Interface Timing Verification. Formal Methods in System Design, 12(3):241-265, 1998.
No references recorded for this publication.
No citations of this publication recorded.