Normal view
MARC view
Jun Liu; Yinan Li(Personal Name)
Machine generated authority record
Work cat.: (OSt)1741215: Jun Liu; Yinan Li, Formal Methods for Control of Nonlinear Systems