• LTL2BA

  • 参考文献95篇[sw10956]
  • 自动机从线性时间逻辑(LTL)公式。此算法生成的交替...
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 驱动监控过程。或者,可以将时间规范转换为自动机或者算法。。。
  • 旅行车2

  • 引用3篇文章[sw20008]
  • 高阶模型检查交替奇偶树自动机. 高阶模型检查。。。使用平凡树自动机i、 布埃奇树自动机所有的状态都是最终的。正在建造。。。使用指定的属性支持交替奇偶树自动机(或等效的一元二阶逻辑。。。
  • 莫菲克斯

  • 引用2篇文章[sw32880]
  • 呈现一个可供替代的有限状态的应用探讨自动机形态学方面。。。
  • 雷2

  • 引用3篇文章[sw10266号文件]
  • 快速、安全、线程友好可供替代的要回溯像PCRE中使用的正则表达式引擎。。。即使是很小的投入时间。RE2用途自动机保证正则表达式搜索的理论。。。
  • 高规格

  • 1条引用[sw09750]
  • 指定数据结构和定时自动机在动态和实时行为建模中,OZTA。。。同时生成LaTeX文档作为可供替代的为传播和阅读建立的媒体。。。
  • 灰姑娘

  • 在141篇文章中引用[sw00127]
  • 交互式几何软件。除了支持动态。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 圣杯

  • 引用19篇文章[sw00374]
  • 圣杯是一个符号计算环境有限。。。
  • 岩浆

  • 在2718篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 在7624篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。