48 citations · 207 across the 23 of their papers we have counts for
1 paper · 1 filter
Alain Finkel, M. Praveen
The decidability and complexity of reachability problems and model-checking for flat counter machines have been explored in detail. However, only few results are known for flat (lo…