位置：成果数据库 > 期刊 > 期刊详情页
Model Checking Conditional CSL for Continuous-Time Markov Chains
  • ISSN号：0020-0190
  • 期刊名称：Information Processing Letters
  • 时间：2013.1.1
  • 页码：44-50
  • 相关项目：混杂系统中若干符号计算问题的应用研究
作者： Yang Gao|Ming Xu|Naijun Zhan|Lijun Zhang|
同期刊论文项目
混杂系统中若干符号计算问题的应用研究
期刊论文 9
同项目期刊论文
Symbolic Termination Analysis of Solvable Loops
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums
An Upper Bound of Heilbronn Number for Eight Points in Triangles
Some Decidable Results on Reachability of Solvable Systems
Stability Analysis of An Epidemic Model with Diffusion and Stochastic Perturbation
一类考虑收获的Monod-Haldane型捕食系统的动力学行为（英文）
一类随机时滞捕食者-食饵模型的动力学行为（英文）
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS