%0 Conference Paper %1 conf/atva/GanCDXZ15 %A Gan, Ting %A Chen, Mingshuai %A Dai, Liyun %A Xia, Bican %A Zhan, Naijun %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 482-499 %T Decidability of the Reachability for a Family of Linear Vector Fields. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#GanCDXZ15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/GanCDXZ15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Gan, Ting and Chen, Mingshuai and Dai, Liyun and Xia, Bican and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/2cdf1b48df93813ef44eb959bb565e298/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_34}, interhash = {bdeef0895d6ca04edf8ba63b7425603c}, intrahash = {cdf1b48df93813ef44eb959bb565e298}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {482-499}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Decidability of the Reachability for a Family of Linear Vector Fields.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#GanCDXZ15}, volume = 9364, year = 2015 }