%0 Conference Paper %1 conf/lfcs/HouZ13 %A Hou, Ping %A Zheng, Hao %B LFCS %D 2013 %E Artëmov, Sergei N. %E Nerode, Anil %I Springer %K dblp %P 234-251 %T Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2013.html#HouZ13 %V 7734 %@ 978-3-642-35722-0

@inproceedings{conf/lfcs/HouZ13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hou, Ping and Zheng, Hao}, biburl = {https://www.bibsonomy.org/bibtex/2cbc6ce888c09cdd72ada1385d8b7a6a1/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/2013}, editor = {Artëmov, Sergei N. and Nerode, Anil}, ee = {https://doi.org/10.1007/978-3-642-35722-0_17}, interhash = {8569b6cd94ccdd9f6d09c8136a168653}, intrahash = {cbc6ce888c09cdd72ada1385d8b7a6a1}, isbn = {978-3-642-35722-0}, keywords = {dblp}, pages = {234-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:47:50.000+0200}, title = {Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2013.html#HouZ13}, volume = 7734, year = 2013 }