6 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
Victor Yodaiken
Temporal logic provided an appealing approach to specifying properties of operating systems and other "reactive" software by allowing propositions to be qualified by "when" they mu…