@inproceedings{CzerwinskiZetzsche:ICALP:2020,
    Address = {New York, NY, USA},
    Author = {Czerwi{\'n}ski, Wojciech and Zetzsche, Georg},
    BookTitle = {Proc. of LICS'20},
    ISBN = {9781450371049},
    Keywords = {separability problem, decidability, vector addition systems},
    Location = {Saarbr\"{u}cken, Germany},
    Pages = {341--354},
    Publisher = {ACM},
    Title = {An Approach to Regular Separability in Vector Addition Systems},
    URL = {https://doi.org/10.1145/3373718.3394776},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1145/3373718.3394776},
    date-added = {2020-05-30 18:52:41 +0200},
    date-modified = {2021-02-11 20:42:17 +0100},
    numpages = {14},
    doi = {10.1145/3373718.3394776}
}

@inproceedings{CzerwinskiZetzsche:ICALP:2020, Address = {New York, NY, USA}, Author = {Czerwi{\'n}ski, Wojciech and Zetzsche, Georg}, BookTitle = {Proc. of LICS'20}, ISBN = {9781450371049}, Keywords = {separability problem, decidability, vector addition systems}, Location = {Saarbr\"{u}cken, Germany}, Pages = {341--354}, Publisher = {ACM}, Title = {An Approach to Regular Separability in Vector Addition Systems}, URL = {https://doi.org/10.1145/3373718.3394776}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1145/3373718.3394776}, date-added = {2020-05-30 18:52:41 +0200}, date-modified = {2021-02-11 20:42:17 +0100}, numpages = {14}, doi = {10.1145/3373718.3394776} }