University of Kentucky, USA;
University of Kentucky, USA;
University of Kentucky, USA;
机译:一种检查时间逻辑规范和欧米茄常规语言的闭包特性的算法方法
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:三种日耳曼语系的时间参照系:个体一致性,个体间共识和跨语言变异
机译:时间动作语言(tal):一种受控语言,用于自然语言时间要求的一致性检查
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:颞叶癫痫难以控制的受试者的口语言语和书面语言方面
机译:自然语言规范的形式一致性检验