首页> 外文OA文献 >Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

【2h】

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

机译：时间间隔与点时间逻辑模型检查：可表达性比较

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bozzelli Laura; Molinari Alberto; Montanari Angelo; Peron Adriano; Sala Pietro;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison [J] . Bozzelli Laura, Molinari Alberto, Montanari Angelo, ACM transactions on computational logic . 2019,第1期

机译：时间间隔与点时间逻辑模型检查：可表达性比较
2. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison [J] . Laura Bozzelli, Alberto Molinari, Angelo Montanari, LIPIcs : Leibniz International Proceedings in Informatics . 2016,第4期

机译：时间间隔与点时间逻辑模型检查：可表达性比较
3. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking [J] . Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, LIPIcs : Leibniz International Proceedings in Informatics . 2017,第1期

机译：通过时间间隔逻辑模型检查评估时间数据集
4. Model checking vs. generalized model checking: semantic minimizations for temporal logics [C] . Godefroid, P., Huth, . 2005

机译：模型检查与广义模型检查：时间逻辑的语义最小化
5. Model checking for a first-order temporal logic using multiway decision graphs. [D] . Xu, Ying. 1999

机译：使用多路决策图对一阶时间逻辑进行模型检查。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison [O] . Bozzelli Laura, Molinari Alberto, Montanari Angelo, 2016

机译：区间与点时间逻辑模型检验：表达性比较
8. Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints. [R] . Latvala, T. 2001

机译：具有公平约束的petri网线性时态逻辑性质模型检验。

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

著录项

引文网络

相似文献

相关主题

期刊订阅