Alain Finkel, Jérôme Leroux, Grégoire Sutre. Reachability for Two-Counter Machines with One Test and One Reset. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{FinkelLS18,
title = {Reachability for Two-Counter Machines with One Test and One Reset},
author = {Alain Finkel and Jérôme Leroux and Grégoire Sutre},
year = {2018},
doi = {10.4230/LIPIcs.FSTTCS.2018.31},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.31},
researchr = {https://researchr.org/publication/FinkelLS18},
cites = {0},
citedby = {0},
booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India},
editor = {Sumit Ganguly and Paritosh K. Pandya},
volume = {122},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-093-4},
}