%0 Journal Article %1 journals/lmcs/BlondinHMR21 %A Blondin, Michael %A Haase, Christoph %A Mazowiecki, Filip %A Raskin, Mikhail A. %D 2021 %J Log. Methods Comput. Sci. %K dblp %N 3 %T Affine Extensions of Integer Vector Addition Systems with States. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#BlondinHMR21 %V 17

@article{journals/lmcs/BlondinHMR21, added-at = {2023-01-24T00:00:00.000+0100}, author = {Blondin, Michael and Haase, Christoph and Mazowiecki, Filip and Raskin, Mikhail A.}, biburl = {https://www.bibsonomy.org/bibtex/2f9fb1d52870a9e9b8b9c02b76b53bcd2/dblp}, ee = {https://doi.org/10.46298/lmcs-17(3:1)2021}, interhash = {3e541617280343f72a92f36d08191378}, intrahash = {f9fb1d52870a9e9b8b9c02b76b53bcd2}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 3, timestamp = {2024-04-09T01:50:57.000+0200}, title = {Affine Extensions of Integer Vector Addition Systems with States.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#BlondinHMR21}, volume = 17, year = 2021 }