13 citations · 65 across the 15 of their papers we have counts for
1 paper · 1 filter
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verificati…