Indian Institute of Technology Bombay;
机译:嵌套空虚搜索的广义Buechi自动机
机译:Unity和Buechi Automata
机译:一种基于多层转换从UML 2序列图中验证自动生成Buechi自动机的技术
机译:机械化确定性广义Buechi自动机的最小化
机译:广义弦最优自动机的算法构造和随机分析
机译:基于后向深度信息的有效确定性有限自动机最小化
机译:Buechi和奇偶自动机的代数跟踪语义
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。