%0 Conference Paper %1 conf/concur/AlmagorCPS020 %A Almagor, Shaull %A Cohen, Nathann %A Pérez, Guillermo A. %A Shirmohammadi, Mahsa %A Worrell, James %B CONCUR %D 2020 %E Konnov, Igor %E Kovács, Laura %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 38:1-38:20 %T Coverability in 1-VASS with Disequality Tests. %U http://dblp.uni-trier.de/db/conf/concur/concur2020.html#AlmagorCPS020 %V 171 %@ 978-3-95977-160-3

@inproceedings{conf/concur/AlmagorCPS020, added-at = {2021-09-16T00:00:00.000+0200}, author = {Almagor, Shaull and Cohen, Nathann and Pérez, Guillermo A. and Shirmohammadi, Mahsa and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/2d4198e4f31a2363d2ca463f2be59be4e/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2020}, editor = {Konnov, Igor and Kovács, Laura}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.38}, interhash = {3880b3a6727cb2c3bbed57d71e1cae13}, intrahash = {d4198e4f31a2363d2ca463f2be59be4e}, isbn = {978-3-95977-160-3}, keywords = {dblp}, pages = {38:1-38:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:47:38.000+0200}, title = {Coverability in 1-VASS with Disequality Tests.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2020.html#AlmagorCPS020}, volume = 171, year = 2020 }