Fang Yu Chao Wang Proceedings 13th International Workshop on Verification of Infinite-State Systems INFINITY http://dx.doi.org/10.4204/EPTCS.73 2011 EPTCS 73 db/series/eptcs/eptcs73.html