Abdulla, Parosh AzizParosh AzizAbdullaCerans, KarlisKarlisCeransJonsson, BengtBengtJonssonYIH-KUEN TSAY2018-09-102018-09-101996http://www.scopus.com/inward/record.url?eid=2-s2.0-0029724779&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/321701General decidability theorems for infinite-state systemsconference paper