Fang Yu 0001 Chao Wang Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. INFINITY https://doi.org/10.4204/EPTCS.73 http://arxiv.org/abs/1111.2678 2011 EPTCS 73 db/series/eptcs/eptcs73.html