...
机译:Buechi和奇偶自动机的Coalgebraic跟踪语义
机译:非确定性和概率的Buechi自动机的公平仿真:一种融合的观点
机译:布奇和奇偶校验自动机的合并代数理论:定点规范,分类(特邀教程)
机译:布奇和奇偶校验自动机的合并代数理论:定点规范,分类(特邀教程)
机译:Buchi和Parity Automata的CoolgeBraic追踪语义
机译:摩尔机的凝聚代数自动机和典范模型。
机译:基于广义概率自动机的语义计算形式模型
机译:Buechi和奇偶自动机的代数跟踪语义
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。