Login / Signup
Automatic Verification of Asynchronous Circuits.
Edmund M. Clarke
Bud Mishra
Published in:
Logic of Programs (1983)
Keyphrases
</>
asynchronous circuits
delay insensitive
process algebra
model checking