• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
在模型检验工具SMV中实现进程阻塞
王常春[1] 董威[2]
计算机工程与科学 . 2006, (3): 85 -87 .