@inproceedings{FINGU19,
author = {Finkel, Alain and Gupta, Ekanshdeep},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/fsttcs/FinkelG19.bib},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
doi = {10.4230/LIPICS.FSTTCS.2019.41},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
pages = {41:1--41:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
title = {The Well Structured Problem for Presburger Counter Machines},
volume = {150},
year = {2019}
}