2 citations · 2 across the 1 of their papers we have counts for
1 paper
Fang Yu, Chao Wang
This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on Octobe…