TY  - RPRT
TI  - Parameterized Verification of Timed Networks with Clock Invariants
AU  - Étienne André
AU  - Swen Jacobs
AU  - Shyam Lal Karra
AU  - Ocan Sankur
PY  - 2025
UR  - https://arxiv.org/abs/2408.05190
ID  - 2408.05190
ER  -