Jirí Srba. On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk). In Patricia Bouyer, Jaco van de Pol, editors, 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark. Volume 348 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.