[IEEE 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - Shanghai, China (2009.06.1-2009.06.3)] 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - Symbolic Reachability Computation of a Class of Nonlinear Systems
Xu, Ming, Chen, Liangyu, Li, Zhi-binYear:
2009
Language:
english
DOI:
10.1109/icis.2009.146
File:
PDF, 159 KB
english, 2009