61 citations · 322 across the 42 of their papers we have counts for
1 paper · 2 filters
Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…