@InProceedings{czerwinski_LIPIcs.MFCS.2024.2,
    author = {Czerwi\'{n}ski, Wojciech},
    title = {{Challenges of the Reachability Problem in Infinite-State Systems}},
    booktitle = {49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)},
    pages = {2:1--2:8},
    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    isbn = {978-3-95977-335-5},
    issn = {1868-8969},
    year = {2024},
    volume = {306},
    editor = {Kr\'{a}lovi\v{c}, Rastislav and Ku\v{c}era, Anton{\'\i}n},
    publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    address = {Dagstuhl, Germany},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.2},
    urn = {urn:nbn:de:0030-drops-205582},
    doi = {10.4230/LIPIcs.MFCS.2024.2},
    annote = {Keywords: reachability problem, infinite-state systems, vector addition systems, pushdown},
    date-added = {2024-8-27 8:52:37 +0100}
}

@InProceedings{czerwinski_LIPIcs.MFCS.2024.2, author = {Czerwi\'{n}ski, Wojciech}, title = {{Challenges of the Reachability Problem in Infinite-State Systems}}, booktitle = {49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)}, pages = {2:1--2:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-335-5}, issn = {1868-8969}, year = {2024}, volume = {306}, editor = {Kr\'{a}lovi\v{c}, Rastislav and Ku\v{c}era, Anton{\'\i}n}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.2}, urn = {urn:nbn:de:0030-drops-205582}, doi = {10.4230/LIPIcs.MFCS.2024.2}, annote = {Keywords: reachability problem, infinite-state systems, vector addition systems, pushdown}, date-added = {2024-8-27 8:52:37 +0100} }