%0 Conference Paper %1 conf/ACISicis/XuCL09 %A Xu, Ming %A Chen, Liangyu %A bin Li, Zhi %B ACIS-ICIS %D 2009 %E Miao, Huaikou %E Hu, Gongzhu %I IEEE Computer Society %K dblp %P 706-710 %T Symbolic Reachability Computation of a Class of Nonlinear Systems. %U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#XuCL09 %@ 978-0-7695-3641-5

@inproceedings{conf/ACISicis/XuCL09, added-at = {2019-09-03T00:00:00.000+0200}, author = {Xu, Ming and Chen, Liangyu and bin Li, Zhi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/284628a07b4bb8e8a3e4b4d8ca5e6fdf0/dblp}, booktitle = {ACIS-ICIS}, crossref = {conf/ACISicis/2009}, editor = {Miao, Huaikou and Hu, Gongzhu}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2009.146}, interhash = {6a0ea92ed08a4a183121bb7841bd886f}, intrahash = {84628a07b4bb8e8a3e4b4d8ca5e6fdf0}, isbn = {978-0-7695-3641-5}, keywords = {dblp}, pages = {706-710}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T21:46:03.000+0200}, title = {Symbolic Reachability Computation of a Class of Nonlinear Systems.}, url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#XuCL09}, year = 2009 }