An Automata-Theoretic Approach to Reasoning about Infinite-State Systems (2000)

by O Kupferman, M Y Vardi
Venue:In 12th International Conference on Computer-Aided Verification, CAV ’00