TY  - RPRT
TI  - Parameterized Verification of Disjunctive Timed Networks
AU  - Étienne André
AU  - Paul Eichler
AU  - Swen Jacobs
AU  - Shyam Lal Karra
PY  - 2024
DO  - 10.1007/978-3-031-50524-9_6
UR  - https://arxiv.org/abs/2305.07295
ID  - 2305.07295
ER  -