## Jérôme Leroux

*Vector Addition System Reachability Problem: A Short Self-contained Proof*

LATA, 2011.

@inproceedings{LATA-2011-Leroux, author = "Jérôme Leroux", booktitle = "{Proceedings of the Fifth International Conference on Language and Automata Theory and Applications}", doi = "10.1007/978-3-642-21254-3_3", isbn = "978-3-642-21253-6", pages = "41--64", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Vector Addition System Reachability Problem: A Short Self-contained Proof}", volume = 6638, year = 2011, }