TY  - RPRT
TI  - Adaptive Scheduling of Data Paths using Uppaal Tiga
AU  - Israa AlAttili
AU  - Fred Houben
AU  - Georgeta Igna
AU  - Steffen Michels
AU  - Feng Zhu
AU  - Frits Vaandrager
PY  - 2009
DO  - 10.4204/eptcs.13.1
UR  - https://arxiv.org/abs/0912.1897
ID  - 0912.1897
ER  -