Verifying and testing asynchronous circuits using LOTOS (2000)

by Ji He, K J Turner
Venue:Proc. Formal Methods for Distributed System Development (FORTE XIII/PSTV XX