Verification of Branch-Time Property Based on Dynamic Description Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yaoguang Wang, Liang Chang, Fengying Li, Tianlong Gu. Verification of Branch-Time Property Based on Dynamic Description Logic. In Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler, editors, Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings. Volume 432 of IFIP Advances in Information and Communication Technology, pages 161-170, Springer, 2014. [doi]

This author has not been identified. Look up 'Yaoguang Wang' in GoogleThis author has not been identified. Look up 'Liang Chang' in GoogleThis author has not been identified. Look up 'Fengying Li' in GoogleThis author has not been identified. Look up 'Tianlong Gu' in Google

runs on WebDSL