Witness Runs for Counter Machines - (Abstract).

Clark W. Barrett, Stphane Demri, Morgan Deters

Browse the full TABLEAUX paper archive.