Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur. Parameterized Verification of Timed Networks with Clock Invariants. In C. Aiswarya, Ruta Mehta, Subhajit Roy 0001, editors, 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025. Volume 360 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.