A comparison of presburg engines for efsm reachability,” in Computer-Aided Verification (1998)

by T Shiple, J Kukula, R Ranjan
Venue:Department of Computer Sciences, The University of Texas