General decidability theorems for infinite-state systems

Journal

Symposium on Logic in Computer Science

Pages

313-321

Date Issued

1996

Author(s)

Abdulla, Parosh Aziz

Cerans, Karlis

Jonsson, Bengt

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-0029724779&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/321701

Type

conference paper