%0 Conference Paper %1 conf/lics/AbdullaCJT96 %A Abdulla, Parosh Aziz %A Cerans, Karlis %A Jonsson, Bengt %A Tsay, Yih-Kuen %B LICS %D 1996 %I IEEE Computer Society %K dblp %P 313-321 %T General Decidability Theorems for Infinite-State Systems. %U http://dblp.uni-trier.de/db/conf/lics/lics96.html#AbdullaCJT96 %@ 0-8186-7463-6

@inproceedings{conf/lics/AbdullaCJT96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Abdulla, Parosh Aziz and Cerans, Karlis and Jonsson, Bengt and Tsay, Yih-Kuen}, biburl = {https://www.bibsonomy.org/bibtex/2ac22e0561ddb78bee3608ebeaccc3f51/dblp}, booktitle = {LICS}, crossref = {conf/lics/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1996.561359}, interhash = {5b7143d8279bbf1df392b670505fa408}, intrahash = {ac22e0561ddb78bee3608ebeaccc3f51}, isbn = {0-8186-7463-6}, keywords = {dblp}, pages = {313-321}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:38.000+0200}, title = {General Decidability Theorems for Infinite-State Systems.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics96.html#AbdullaCJT96}, year = 1996 }