3 citations · 4 across the 6 of their papers we have counts for
1 paper · 2 filters
Patricia Bouyer, Orna Kupferman, Nicolas Markey +3
Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional te…