%0 Conference Paper %1 conf/seke/ZhuLLCZJ12 %A Zhu, Min %A Li, Bixin %A Li, Jiakai %A Chen, Qiaoqiao %A Zhai, Xiaoxiang %A Ji, Shunhui %B SEKE %D 2012 %I Knowledge Systems Institute Graduate School %K dblp %P 235-238 %T HybridUML Based Verification of CPS Using Differential Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/seke/seke2012.html#ZhuLLCZJ12 %@ 1-891706-31-4

@inproceedings{conf/seke/ZhuLLCZJ12, added-at = {2012-08-20T00:00:00.000+0200}, author = {Zhu, Min and Li, Bixin and Li, Jiakai and Chen, Qiaoqiao and Zhai, Xiaoxiang and Ji, Shunhui}, biburl = {https://www.bibsonomy.org/bibtex/23f85ce80bb5dae05bdda2c4a99e0c0fb/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2012}, ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2012_Proceedings.pdf}, interhash = {665ee711d3880c6e43f6b66645213243}, intrahash = {3f85ce80bb5dae05bdda2c4a99e0c0fb}, isbn = {1-891706-31-4}, keywords = {dblp}, pages = {235-238}, publisher = {Knowledge Systems Institute Graduate School}, timestamp = {2020-03-13T12:22:02.000+0100}, title = {HybridUML Based Verification of CPS Using Differential Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2012.html#ZhuLLCZJ12}, year = 2012 }