Research on Formal Development of Non-recursive Algorithms of Graph Search - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qimin Hu, Jinyun Xue, Zhen You. Research on Formal Development of Non-recursive Algorithms of Graph Search. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers. Volume 9559 of Lecture Notes in Computer Science, pages 165-178, Springer, 2015. [doi]

This author has not been identified. Look up 'Qimin Hu' in GoogleThis author has not been identified. Look up 'Jinyun Xue' in GoogleThis author has not been identified. Look up 'Zhen You' in Google

runs on WebDSL