运动规划中的可达性分析
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1993年第1期12-18,共7页
Pattern Recognition and Artificial Intelligence
-
1李楠,杨培根.通信协议验证的可达性分析方法及其自动化[J].计算机研究与发展,1992,29(11):28-34.
-
2刘玉平,党华锐,罗景仁.网络协议辅助设计系统中可达性分析的设计与实现[J].微电子学与计算机,1992,9(10):42-45.
-
3任静,郝杰.基于Petri网的建模分析[J].西安航空技术高等专科学校学报,2010,28(3):50-52.
-
4张松年,庄雷,杜娟.时间自动机可达性分析算法的改进[J].计算机工程与科学,2007,29(10):44-46. 被引量：2
;
