@inproceedings{CzerwinskiFigueiraHofman:CONCUR:2020,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: unambiguity, vector addition systems, universality problems},
    Author = {Czerwi{\'n}ski, Wojciech and Figueira, Diego and Hofman, Piotr},
    BookTitle = {Proc. of CONCUR'20},
    Editor = {Konnov, Igor and Kov{\'a}cs, Laura},
    File = {Universality Problem for Unambiguous VASS - LIPIcs-CONCUR-2020-36 - s.pdf},
    ISBN = {978-3-95977-160-3},
    ISSN = {1868-8969},
    Pages = {36:1--36:15},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
    Series = {LIPIcs},
    Title = {{Universality Problem for Unambiguous VASS}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12848},
    Volume = {171},
    Year = {2020},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12848},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.36},
    date-added = {2020-10-03 16:40:32 +0200},
    date-modified = {2020-10-03 16:41:03 +0200},
    urn = {urn:nbn:de:0030-drops-128486},
    doi = {10.4230/LIPIcs.CONCUR.2020.36}
}

@inproceedings{CzerwinskiFigueiraHofman:CONCUR:2020, Address = {Dagstuhl, Germany}, Annote = {Keywords: unambiguity, vector addition systems, universality problems}, Author = {Czerwi{\'n}ski, Wojciech and Figueira, Diego and Hofman, Piotr}, BookTitle = {Proc. of CONCUR'20}, Editor = {Konnov, Igor and Kov{\'a}cs, Laura}, File = {Universality Problem for Unambiguous VASS - LIPIcs-CONCUR-2020-36 - s.pdf}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, Pages = {36:1--36:15}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, Series = {LIPIcs}, Title = {{Universality Problem for Unambiguous VASS}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12848}, Volume = {171}, Year = {2020}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12848}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.36}, date-added = {2020-10-03 16:40:32 +0200}, date-modified = {2020-10-03 16:41:03 +0200}, urn = {urn:nbn:de:0030-drops-128486}, doi = {10.4230/LIPIcs.CONCUR.2020.36} }