id: 70922092
dt: a
an: 70922092
au: Bu, Lei; Zhao, Jianhua; Li, Xuandong
ti: Path-oriented reachability verification of a class of nonlinear hybrid
    automata using convex programming
so: VMCAI, 78-94 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-11319-2_9