18 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Clare Dixon, Michael Fisher, Boris Konev +1
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of…