Parosh Aziz Abdulla, Aletta Nylén. Better is Better than Well: On Efficient Verification of Infinite-State Systems. In LICS. pages 132-140, 2000. [doi]
@inproceedings{AbdullaN00,
title = {Better is Better than Well: On Efficient Verification of Infinite-State Systems},
author = {Parosh Aziz Abdulla and Aletta Nylén},
year = {2000},
url = {http://www.computer.org/proceedings/lics/0725/07250132abs.htm},
researchr = {https://researchr.org/publication/AbdullaN00},
cites = {0},
citedby = {0},
pages = {132-140},
booktitle = {LICS},
}