TY  - BOOK
AU  - Jun Liu; Yinan Li
TI  - Formal Methods for Control of Nonlinear Systems
SN  - 9780429270253
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780429270253
ER  -