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

Document Versions

Hardware Verification using Monadic Second-Order Logic –David A. Basin, Nils Klarlund — 1995 — IN COMPUTER AIDED VERIFICATION : 7TH INTERNATIONAL CONFERENCE, CAV '95, LNCS 939
Hardware verification using monadic second-order logic –David A. Basin, David A. Basin, Nils Klarlund, Nils Klarlund — 1995 — In Computer aided verification : 7th International Conference, CAV '95, LNCS 939