TY  - RPRT
TI  - A Parametric Counterexample Refinement Approach for Robust Timed Specifications
AU  - Louis-Marie Traonouez
PY  - 2012
DO  - 10.4204/eptcs.87.3
UR  - https://arxiv.org/abs/1207.4269
ID  - 1207.4269
ER  -