University of Napoli "Federico II", Napoli, Italy;
University of Udine, Udine, Italy;
University of Udine, Udine, Italy;
University of Napoli "Federico II", Napoli, Italy;
机译:模型检查间隔时间逻辑与正则表达式
机译:通过时间间隔逻辑模型检查评估时间数据集
机译:模型检查间隔时间逻辑统一算法的复杂性分析
机译:常规表达式间隔时间逻辑模型检查的深入研究
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:关于带有正则表达式的区间时间逻辑hs的句法最大片段的模型检查的复杂性
机译:具有公平约束的petri网线性时态逻辑性质模型检验。