机译:用于CTL和ECT的基于one-past的基于Codenteaux系统
Temporal logicfairnessexpressivenessbranching-time;
机译:分支时间逻辑ECTL#及其树式单通大妙域的Tableau:扩展Ectl +的公平性表达
机译:扩展ECTL +的公平可表达性:一种树型单次通过方法
机译:使用一遍Tableaux进行PLTL的认证模型检查
机译:用于计算树逻辑的一遍表
机译:具有间歇动力学的混合系统的基于上下文的状态估计。
机译:EUS指导的细针核心肝活检采用改良的单程单驱动湿式抽吸技术比较了两种类型的EUS核心针
机译:CTL ∗和ECTL ∗作为模态微积分的片段
机译:反应系统的抽象解释:保留UniversalCTL(*),存在CTL(*)和CTL(*)的抽象