期刊文献+

有向软件图的极小源(汇)点集判定算法

下载PDF
导出
摘要 本文研究了有向软件图的极小源(汇)点集问题,提出了有效的判定算法,并证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。
作者 秦晓 李静
出处 《小型微型计算机系统》 CSCD 北大核心 1998年第5期18-23,共6页 Journal of Chinese Computer Systems
  • 相关文献

参考文献3

  • 1秦晓,软件学报,1994年,5卷,5期
  • 2Tan Y,J Syst Softw,1991年,16卷,1期
  • 3陈树柏,网络图论及其应用,1984年

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部