3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Ahmed Rezine
We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized s…