General Decidability Theorems for Infinite-State Systems.

Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay

Browse the full LICS paper archive.