Hardware Verification using Monadic Second-Order Logic (1995)

Cached

Download Links

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