State Space Reduction using Partial Order Techniques

机译：使用偏序技术减少状态空间

代理获取

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

页面导航

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

著录项

作者
E. M. Clarke; O. Grumberg; M. Minea; D. Peled;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. State space reduction using partial order techniques [J] . E.M. Clarke, O. Grumberg, M. Minea International Journal on Software Tools for Technology Transfer . 1999,第3期

机译：使用偏序技术减少状态空间
2. On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics [J] . N.Shahzad, O.Valero Abstract and applied analysis . 2013,第2期

机译：在一个完整的部分度量空间和指定语义中的定量固定点技术
3. Rectal radiation dose-reduction techniques in prostate cancer: a focus on the rectal spacer [J] . Leiker Andrew J., Desai Neil B., Folkert Michael R. Future oncology . 2018,第26期

机译：前列腺癌中的直肠辐射剂量减少技术：对直肠间隔物的关注
4. Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique [C] . Vineet Kahlon, Chao Wang, Aarti Gupta Computer aided verification . 2009

机译：单调性偏序降阶：一种最优的符号性偏序降阶技术
5. Wastewater toxicity reduction by the spraying with partial freezing technique. [D] . Habib, Mohammad Rashedeen. 2005

机译：通过部分冷冻技术喷雾减少废水毒性。
6. Dimensional accuracy of two rubber base impression materials as a function of spacer design and techniques in custom trays for fixed partial dentures [O] . Pankaj Kaushik, R.K. Dhiman, Dinesh Kumar 2015

机译：两种橡胶基印模材料的尺寸精度与固定局部义齿定制托盘中垫片设计和技术的关系
7. Efficient techniques of parallel state space search and partial order reduction for LMNtal program verification [O] . 後町将人 2011

机译：用于LMNtal程序验证的并行状态空间搜索和部分顺序约简的有效技术
8. Symmetry and Partial Order Reduction Techniques in Model Checking 'Rebeca' [R] . Jaghoori, M. M., Sirjani, M., Mousavi, M. R., 2007

机译：模型检查'Rebeca'中的对称性和偏序降阶技术

State Space Reduction using Partial Order Techniques

著录项

引文网络

相似文献

相关主题

期刊订阅