id: 70781137
dt: a
an: 70781137
au: Fehnker, Ansgar; Clarke, Edmund M.; Jha, Sumit Kumar; Krogh, Bruce H.
ti: Refining abstractions of hybrid systems using counterexample fragments
so: HSCC, 242-257 (2005).
py: 2005
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-31954-2_16