奥特克罗斯

Spot:LTL和ω-自动机操作平台:autcross是一个交叉比较转换自动机的工具的输出的工具。它的工作原理与ltlcross类似,只是输入是自动的。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. Duret Lutz,Alexandre:使用Spot 1.0操纵LTL公式(2013)