Login / Signup

Automatic Verification of Asynchronous Circuits.

Edmund M. ClarkeBud Mishra
Published in: Logic of Programs (1983)
Keyphrases
  • asynchronous circuits
  • delay insensitive
  • process algebra
  • model checking