activity
20122025
most citedInterval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

12 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.FL2022

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Pierre Ganty, Dario Della Monica

This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2022). The aim of GandALF 2022 symposium is to b…