@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2023.42,
    doi = {10.4230/LIPICS.FSTTCS.2023.42},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.42},
    author = {Finkel, Alain and Krishna, Shankara Narayanan and Madnani, Khushraj and Majumdar, Rupak and Zetzsche, Georg},
    keywords = {Counter machines and reversal-bounded and reachability and decidability and complexity},
    language = {en},
    title = {Counter Machines with Infrequent Reversals},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2023},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2023-12-16 22:46:40 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2023.42, doi = {10.4230/LIPICS.FSTTCS.2023.42}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.42}, author = {Finkel, Alain and Krishna, Shankara Narayanan and Madnani, Khushraj and Majumdar, Rupak and Zetzsche, Georg}, keywords = {Counter machines and reversal-bounded and reachability and decidability and complexity}, language = {en}, title = {Counter Machines with Infrequent Reversals}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2023}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2023-12-16 22:46:40 +0100} }