150 citations · 623 across the 65 of their papers we have counts for
1 paper · 2 filters
Nikola Beneš, Benoît Delahaye, Uli Fahrenberg +2
There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal o…