TY  - RPRT
TI  - A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
AU  - Manfred Droste
AU  - Vitaly Perevoshchikov
PY  - 2015
DO  - 10.1007/978-3-662-43951-7_15
UR  - https://arxiv.org/abs/1506.06038
ID  - 1506.06038
ER  -