首页> 外文OA文献 >Regular symbolic analysis of dynamic networks of pushdown systems

【2h】

Regular symbolic analysis of dynamic networks of pushdown systems

机译：对下推系统动态网络的定期符号分析

页面导航

著录项
相似文献
相关主题

著录项

作者
Ahmed Bouajjani; Markus Müller-olm; Tayssir Touili;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS [J] . ANIL SETH International Journal of Foundations of Computer Science . 2008,第4期

机译：二阶推送系统符号可达性分析的交替构造。
2. Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems [J] . MatthewHague, LukeOng Logical Methods in Computer Science . 2008,第4期

机译：高阶下推系统的符号向后可到达性分析
3. FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER [J] . DENIS LUGIEZ International Journal of Foundations of Computer Science . 2011,第4期

机译：无序推送系统动态网络的前瞻性分析
4. Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems [C] . Ahmed Bouajjani, Markus Mueller-Olm, Tayssir Touili International Conference on Concurrency Theory(CONCUR 2005); 20050823-26; San Francisco,CA(US) . 2005

机译：下推系统动态网络的定期符号分析
5. Symbolic tools for the analysis of nonlinear dynamical systems [D] . Liu, Xianping 1999

机译：非线性动力学系统分析的符号工具
6. Structural, dynamical and symbolic observability: From dynamical systems to networks [O] . Luis A. Aguirre, Leonardo L. Portes, Christophe Letellier 2012

机译：结构，动力学和符号可观察性：从动力学系统到网络
7. Forward Analysis of Dynamic Network of Pushdown Systems is Easier without Order [O] . Denis Lugiez 2010

机译：下推式系统动态网络的前向分析更加轻松
8. A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS [R] . Sheila A. Greibach 1965

机译：关于pUsHDOWN sTORE aUTOmaTa和正则系统的一个注记

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号