Zone-Based Universality Analysis for Single-Clock Timed Automata

机译：单时钟定时自动机的基于区域的通用性分析

代理获取

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

页面导航

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

著录项

作者
Parosh Aziz Abdulla; Joël Ouaknine; Karin Quaas; James Worrell;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Lower and upper bounds in zone-based abstractions of timed automata [J] . Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, International Journal on Software Tools for Technology Transfer . 2006,第3期

机译：定时自动机基于区域的抽象的上下限
2. Universality Analysis For One-clock Timed Automata [J] . Parosh Aziz Abdulla, Johann Deneux, Joeel Ouaknine, Fundamenta Informaticae . 2008,第4期

机译：一时钟定时自动机的通用性分析
3. Classes of Timed Automata and the Undecidability of Universality [J] . Arnaldo V. Moura, Guilherme A. Pinto Fundamenta Informaticae . 2008,第1a2期

机译：定时自动机的类别与普遍性的不确定性
4. Zone-Based Universality Analysis for Single-Clock Timed Automata [C] . Parosh Aziz Abdulla, Joeel Ouaknine, Karin Quaas, International Symposium on Fundamentals of Software Engineering(FSEN 2007); 20070417-19; Tehran(IR) . 2007

机译：单时钟定时自动机的基于区域的通用性分析
5. Newspaper editorials from "The New York Times", "El Pais", and "El Universal": A comparative applied genre analysis. [D] . Pak, Chin-Sook. 1996

机译：《纽约时报》，《埃尔佩斯》和《环球报》的报纸社论：一种比较应用的体裁分析。
6. A novel universal real-time PCR system using the attached universal duplex probes for quantitative analysis of nucleic acids [O] . Litao Yang, Wanqi Liang, Lingxi Jiang, 2008

机译：一种新颖的通用实时PCR系统使用连接的通用双链探针进行核酸定量分析
7. Two-Player Reachability-Price Games on Single-Clock Timed Automata [O] . Michal Rutkowski 2011

机译：双时钟可达性 - 单时钟自动机上的价格游戏

Zone-Based Universality Analysis for Single-Clock Timed Automata

著录项

引文网络

相似文献

相关主题

期刊订阅