TY  - RPRT
TI  - Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)
AU  - Krishnendu Chatterjee
AU  - Vinayak S. Prabhu
PY  - 2015
UR  - https://arxiv.org/abs/1212.6556
ID  - 1212.6556
ER  -