%0 Conference Paper %1 conf/ifip12/WangCLG14 %A Wang, Yaoguang %A Chang, Liang %A Li, Fengying %A Gu, Tianlong %B Intelligent Information Processing %D 2014 %E Shi, Zhongzhi %E Wu, Zhaohui %E Leake, David B. %E Sattler, Uli %I Springer %K dblp %P 161-170 %T Verification of Branch-Time Property Based on Dynamic Description Logic. %U http://dblp.uni-trier.de/db/conf/ifip12/iip2014.html#WangCLG14 %V 432 %@ 978-3-662-44979-0

@inproceedings{conf/ifip12/WangCLG14, added-at = {2020-04-07T00:00:00.000+0200}, author = {Wang, Yaoguang and Chang, Liang and Li, Fengying and Gu, Tianlong}, biburl = {https://www.bibsonomy.org/bibtex/2260652270e105dc028f90e315f32f1da/dblp}, booktitle = {Intelligent Information Processing}, crossref = {conf/ifip12/2014iip}, editor = {Shi, Zhongzhi and Wu, Zhaohui and Leake, David B. and Sattler, Uli}, ee = {https://doi.org/10.1007/978-3-662-44980-6_18}, interhash = {04284bf8d032243cbd06014825efb050}, intrahash = {260652270e105dc028f90e315f32f1da}, isbn = {978-3-662-44979-0}, keywords = {dblp}, pages = {161-170}, publisher = {Springer}, series = {IFIP Advances in Information and Communication Technology}, timestamp = {2024-04-09T14:36:34.000+0200}, title = {Verification of Branch-Time Property Based on Dynamic Description Logic.}, url = {http://dblp.uni-trier.de/db/conf/ifip12/iip2014.html#WangCLG14}, volume = 432, year = 2014 }