Mona 1.x: new techniques for ws1s and ws2s (1998)

by J Elgaard, N Klarlund, A Mller
Venue:in Computer Aided Verification