BibTeX Entry

Back to list

@inproceedings{Parosh:Bengt:Karlis:Tsay:general,
  author	= {Abdulla, Parosh Aziz and Cerans, Karlis and Jonsson, Bengt and Tsay, Yih-Kuen},
  title		= {General Decidability Theorems for Infinite-State Systems},
  booktitle	= {Proc. LICS '96-11th IEEE Int. Symp. on Logic in Computer Science},
  pages		= {313--321},
  year		= {1996},
  URL		= {files/general.ps}
}