18 citations · 60 across the 35 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…