Hardware Verification using Monadic Second-Order Logic (1995)

by David A. Basin, Nils Klarlund
Venue:IN COMPUTER AIDED VERIFICATION : 7TH INTERNATIONAL CONFERENCE, CAV '95, LNCS 939