A Comparison of Presburger Engines for EFSM Reachability.

Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan

Browse the full CAV paper archive.