Verifying and Testing Asynchronous Circuits using LOTOS (2000)

Cached

Download Links

by Ji He , Kenneth J. Turner
Venue:Proc. Formal Methods for Distributed System Development (FORTE XIII/PSTV XX
Citations:4 - 3 self