Author:
Wang Xiaobing,Li Ge,Li Chunyi,Zhao Liang,Shu Xinfeng
Publisher
Springer International Publishing
Reference27 articles.
1. Brown, K.: Encyclopedia of Language and Linguistics, vol. 1. Elsevier (2005)
2. Deeptimahanti, D.K., Babar, M.A.: An automated tool for generating UML models from natural language requirements. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 680–682. IEEE (2009)
3. Duan, Z.: An extended interval temporal logic and a framing technique for temporal logic proing. Ph.D. thesis, Newcastle University, Newcastle upon Tyne, UK (1996). http://hdl.handle.net/10443/2075
4. Lecture Notes in Computer Science;Z Duan,2008
5. Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43–78 (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献