...
机译:基于Tableau的动态线性时间时序逻辑的自动机构造
Dipartimento di Informatica, Universita del Piemonte Orientale, Alessandria, Italy;
temporal logic; model checking;
机译:线性时间时序逻辑到Biichi自动机的转换算法
机译:线性时间时序逻辑到Buchi自动机的转换算法
机译:任意线性时间的自动机和时间逻辑
机译:动态线性时间时序逻辑的即时自动机构造
机译:线性时间逻辑到自动机的显式或符号转换
机译:使用贴纸自动机模型检查时间逻辑公式
机译:动态线性时间逻辑的动态自动机构造
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。