doi — 10.1109/LI

1 paper found with doi equals to 10.1109/LICS.1996.561359. 
  1. @inproceedings{ABDU96,
 author = {Abdulla, Parosh Aziz and {\v{C}}er{\=a}ns, Karlis and Tsay, Bengt Jonsson and Yih-Kuen},
 booktitle = {Proceedings of LICS'96},
 doi = {10.1109/LICS.1996.561359},
 pages = {313--321},
 publisher = {IEEE},
 sha256 = {33683952C37EB88C4766353EE163985A86906F2B929FDE9321563702342BA9D5},
 title = {General decidability theorems for infinite-state systems},
 year = {1996}
}