%0 Conference Paper %1 conf/rocond/ZhangZW12 %A Zhang, Jinjin %A Zhu, Zhaohui %A Wang, Lisong %B ROCOND %D 2012 %E Bendtsen, Jan Dimon %I International Federation of Automatic Control %K dblp %P 734-739 %T Satisfaction of Temporal Logic by Control Systems and Finite Abstractions. %U http://dblp.uni-trier.de/db/conf/rocond/rocond2012.html#ZhangZW12 %@ 978-3-902823-03-8

@inproceedings{conf/rocond/ZhangZW12, added-at = {2014-12-16T00:00:00.000+0100}, author = {Zhang, Jinjin and Zhu, Zhaohui and Wang, Lisong}, biburl = {https://www.bibsonomy.org/bibtex/26174fe7751d7f87aebb1442eeb6cb693/dblp}, booktitle = {ROCOND}, crossref = {conf/rocond/2012}, editor = {Bendtsen, Jan Dimon}, ee = {http://dx.doi.org/10.3182/20120620-3-DK-2025.00037}, interhash = {ef30536106dfeb9ac668cc78489b6f35}, intrahash = {6174fe7751d7f87aebb1442eeb6cb693}, isbn = {978-3-902823-03-8}, keywords = {dblp}, pages = {734-739}, publisher = {International Federation of Automatic Control}, timestamp = {2015-06-19T05:06:25.000+0200}, title = {Satisfaction of Temporal Logic by Control Systems and Finite Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/rocond/rocond2012.html#ZhangZW12}, year = 2012 }