@Inproceedings{EPTCS39.1, author = {Demri, St\'ephane}, year = {2010}, title = {On Selective Unboundedness of VASS}, editor = {Chen, Yu-Fang and Rezine, Ahmed}, booktitle = {{\rm Proceedings 12th International Workshop on} Verification of Infinite-State Systems, {\rm Singapore, 21st September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {39}, publisher = {Open Publishing Association}, pages = {1-15}, doi = {10.4204/EPTCS.39.1}, }