General decidability theorems for infinitestate systems (1996)

by P A Abdulla, K Cerans, B Jonsson, Y-K Tsay
Venue:In Proc. of LICS