Probabilistic logic; Markov processes; Automata; Model checking; Clocks; Exponential distribution;
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:弥合概率模型检查和概率规划之间的差距:调查,编译和经验比较
机译:检查景观的概率模型*
机译:用工程模型和应用程序进行概率符号模型检查。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:在某些区间数值检验二元Goldbach猜想的概率复杂性。建模,分析和模拟。