TY  - RPRT
TI  - Sound Conflict Analysis for Timed Contract Automata
AU  - Shaun Azzopardi
AU  - Gordon Pace
PY  - 2024
UR  - https://arxiv.org/abs/2410.12585
ID  - 2410.12585
ER  -