TY  - RPRT
TI  - A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
AU  - S Akshay
AU  - Paul Gastin
AU  - R Govind
AU  - Aniruddha R Joshi
AU  - B Srivathsan
PY  - 2023
UR  - https://arxiv.org/abs/2305.17824
ID  - 2305.17824
ER  -