%0 Conference Paper %1 conf/lics/BlondinR20 %A Blondin, Michael %A Raskin, Mikhail A. %B LICS %D 2020 %E Hermanns, Holger %E Zhang, Lijun %E Kobayashi, Naoki %E Miller, Dale %I ACM %K dblp %P 224-236 %T The Complexity of Reachability in Affine Vector Addition Systems with States. %U http://dblp.uni-trier.de/db/conf/lics/lics2020.html#BlondinR20 %@ 978-1-4503-7104-9

@inproceedings{conf/lics/BlondinR20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Blondin, Michael and Raskin, Mikhail A.}, biburl = {https://www.bibsonomy.org/bibtex/24f4b6c7f363359c0716cc47fcbe3aba2/dblp}, booktitle = {LICS}, crossref = {conf/lics/2020}, editor = {Hermanns, Holger and Zhang, Lijun and Kobayashi, Naoki and Miller, Dale}, ee = {https://doi.org/10.1145/3373718.3394741}, interhash = {c4ed5b61c4052451eb04f4e7dc9bc4f5}, intrahash = {4f4b6c7f363359c0716cc47fcbe3aba2}, isbn = {978-1-4503-7104-9}, keywords = {dblp}, pages = {224-236}, publisher = {ACM}, timestamp = {2024-04-09T13:16:48.000+0200}, title = {The Complexity of Reachability in Affine Vector Addition Systems with States.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2020.html#BlondinR20}, year = 2020 }