国家自然科学基金资助项目(61070035);湖南省自然科学基金资助项目(11JJ4028)
吴烨,钟志农,熊伟,等.递归划分的标签约束可达性计算方法[J].国防科技大学学报,2014,36(5):98-104.
WU Ye, ZHONG Zhinong, XIONG Wei, et al. A label constraint reachability computation method on recursive partition[J]. Journal of National University of Defense Technology,2014,36(5):98-104.