Basin, David A.

• BRICS Report Series No. 7 (1995): RS-07 Hardware Verification using Monadic Second-Order Logic - Articles
  Hardware Verification using Monadic Second-Order Logic
  Abstract  PDF