%0 Conference Paper %1 conf/birthday/Leroux12 %A Leroux, Jérôme %B Turing-100 %D 2012 %E Voronkov, Andrei %I EasyChair %K dblp %P 214-228 %T Vector Addition Systems Reachability Problem (A Simpler Solution). %U http://dblp.uni-trier.de/db/conf/birthday/turing2012.html#Leroux12 %V 10

@inproceedings{conf/birthday/Leroux12, added-at = {2021-08-15T00:00:00.000+0200}, author = {Leroux, Jérôme}, biburl = {https://www.bibsonomy.org/bibtex/2f7ad62ac25b7cbb0dac99421e326ab9e/dblp}, booktitle = {Turing-100}, crossref = {conf/birthday/2012turing}, editor = {Voronkov, Andrei}, ee = {https://doi.org/10.29007/bnx2}, interhash = {e609caf0ecbf37b0a6f5816a109f8860}, intrahash = {f7ad62ac25b7cbb0dac99421e326ab9e}, keywords = {dblp}, pages = {214-228}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T14:06:01.000+0200}, title = {Vector Addition Systems Reachability Problem (A Simpler Solution).}, url = {http://dblp.uni-trier.de/db/conf/birthday/turing2012.html#Leroux12}, volume = 10, year = 2012 }