14 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
K Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counte…