Hardware Verification using Monadic SecondOrder Logic (0)

by D Basin, N Klarlund
Venue:Computer Aided Verification, 7th International Conference, Lecture Notes in Computer Science