TY  - RPRT
TI  - Toward Parametric Timed Interfaces for Real-Time Components
AU  - Youcheng Sun
AU  - Giuseppe Lipari
AU  - Étienne André
AU  - Laurent Fribourg
PY  - 2014
DO  - 10.4204/eptcs.145.6
UR  - https://arxiv.org/abs/1404.0088
ID  - 1404.0088
ER  -