• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 1992, Vol. 14 ›› Issue (3): 50-57.

• 论文 • 上一篇    下一篇

一个动态定时验证程序的实现

石雄 陈书明   

  • 出版日期:1992-03-01 发布日期:2010-06-30

  • Online:1992-03-01 Published:2010-06-30