%0 Conference Paper %1 conf/atva/IosifS16 %A Iosif, Radu %A Sangnier, Arnaud %B ATVA %D 2016 %E Artho, Cyrille %E Legay, Axel %E Peled, Doron %K dblp %P 89-105 %T How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? %U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#IosifS16 %V 9938 %@ 978-3-319-46519-7

@inproceedings{conf/atva/IosifS16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Iosif, Radu and Sangnier, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/207d58987e1147d8a1fa7f862c4fdbde7/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2016}, editor = {Artho, Cyrille and Legay, Axel and Peled, Doron}, ee = {https://doi.org/10.1007/978-3-319-46520-3_6}, interhash = {7246742c5c9a512dafe794e7e39f6221}, intrahash = {07d58987e1147d8a1fa7f862c4fdbde7}, isbn = {978-3-319-46519-7}, keywords = {dblp}, pages = {89-105}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:50.000+0200}, title = {How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#IosifS16}, volume = 9938, year = 2016 }