Better is Better than Well: On Efficient Verification of Infinite-State Systems.

Parosh Aziz Abdulla, Aletta Nyln

Browse the full LICS paper archive.