Invited Paper: Simple, Strict, Proper, Happy: A Study of Reachability in Temporal Graphs

von Casteigts, Arnaud
Veröffentlicht in SSS (24. : 2022 : Clermont-Ferrand) Stabilization, safety, and security of distributed systems (2022)