@inproceedings{DHR24,
    author = {Andrei Draghici and
Christoph Haase and
Andrew Ryzhikov},
    booktitle = {Foundations of Software Science and Computation Structures, FoSSaCS},
    doi = {10.1007/978-3-031-57231-9_9},
    pages = {185--205},
    publisher = {Springer},
    series = {Lect. Notes Comp. Sci.},
    title = {Reachability in Fixed VASS: Expressiveness and Lower Bounds},
    volume = {14575},
    year = {2024},
    date-added = {2024-10-18 8:34:21 +0100}
}

@inproceedings{DHR24, author = {Andrei Draghici and Christoph Haase and Andrew Ryzhikov}, booktitle = {Foundations of Software Science and Computation Structures, FoSSaCS}, doi = {10.1007/978-3-031-57231-9_9}, pages = {185--205}, publisher = {Springer}, series = {Lect. Notes Comp. Sci.}, title = {Reachability in Fixed VASS: Expressiveness and Lower Bounds}, volume = {14575}, year = {2024}, date-added = {2024-10-18 8:34:21 +0100} }