Ther murphi verification system (1996)

by D L Dill
Venue:In 8th International Conference on Computer Aided Verification