@inproceedings{ClementeCzerwinskiLasotaPaperman:STACS:2017,
    Annote = {Keywords: separability, Petri nets, modular sets, unary sets, decidability},
    Author = {Clemente, Lorenzo and Czerwinski, Wojciech and Lasota, Slawomir and Paperman, Charles},
    BookTitle = {Proc. of STACS'17},
    File = {LIPIcs-STACS-2017-24 (0) - a - a - n.pdf},
    ISBN = {978-3-95977-028-6},
    ISSN = {1868-8969},
    Pages = {24:1--24:14},
    Series = {LIPICs},
    Title = {{Separability of Reachability Sets of Vector Addition Systems}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7009},
    Volume = {66},
    Year = {2017},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7009},
    bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2017.24},
    date-added = {2017-04-06 15:19:55 +0000},
    date-modified = {2020-02-16 09:06:47 +0100},
    urn = {urn:nbn:de:0030-drops-70091},
    doi = {10.4230/LIPIcs.STACS.2017.24}
}

@inproceedings{ClementeCzerwinskiLasotaPaperman:STACS:2017, Annote = {Keywords: separability, Petri nets, modular sets, unary sets, decidability}, Author = {Clemente, Lorenzo and Czerwinski, Wojciech and Lasota, Slawomir and Paperman, Charles}, BookTitle = {Proc. of STACS'17}, File = {LIPIcs-STACS-2017-24 (0) - a - a - n.pdf}, ISBN = {978-3-95977-028-6}, ISSN = {1868-8969}, Pages = {24:1--24:14}, Series = {LIPICs}, Title = {{Separability of Reachability Sets of Vector Addition Systems}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7009}, Volume = {66}, Year = {2017}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7009}, bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2017.24}, date-added = {2017-04-06 15:19:55 +0000}, date-modified = {2020-02-16 09:06:47 +0100}, urn = {urn:nbn:de:0030-drops-70091}, doi = {10.4230/LIPIcs.STACS.2017.24} }