Generating finite-state abstractions of reactive systems using decision procedures. (1998)

by M Colon, T E Uribe
Venue:In Proc. of Computer Aided Verification,