Constrained Multiset Rewriting (2006)

by P A Abdulla, G Delzanno
Venue:In: Proc. AVIS’06, 5th int. workshop on on Automated Verification of InfiniteState Systems