id: 70858833
dt: a
an: 70858833
au: He, Fei; Zhu, He; Hung, William N. N.; Song, Xiaoyu; Gu, Ming
ti: Compositional abstraction refinement for timed systems
so: TASE, 168-176 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/TASE.2010.27