• 棱镜

  • 引用424篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 比查姆

  • 引用了43篇文章[sw09927]
  • 这个生物化学抽象机器(Biocham)是一个模型。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • COSMOS:一个混合动力的统计模型检验器。。。