"Empirically Efficient Verification for a Class of Infinite-State Systems."

Jesse D. Bingham, Alan J. Hu (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics