Keeping Pace with the History of Evolving Runtime Models. | 0 | 0.34 | 2021 |
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. | 0 | 0.34 | 2020 |
Metric Temporal Graph Logic over Typed Attributed Graphs. | 0 | 0.34 | 2019 |
Metric Temporal Graph Logic over Typed Attributed Graphs. | 0 | 0.34 | 2019 |