×

找到8个文档（结果1-8）

最新的 引文 关联
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；克吕佩尔霍尔茨，萨沙；琳达·卢施纳

使用概率模型检查对弹性系统进行能源效用分析。 （英语） Zbl 1407.68280号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 20-39 (2014).
MSC公司：60年第68季度 60J20型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。8489、20--39（2014年；Zbl 1407.68280）
全文： 内政部
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；约阿希姆·克莱因；克吕佩尔霍尔茨，萨沙；萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： 内政部
克里斯特尔·拜尔；马库斯·格勒；Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，519-570（2009年）。
MSC公司：60年第68季度 第68季度10 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：加权自动机手册。柏林：斯普林格。519-570（2009年；Zbl 1484.68095）
全文： 内政部
克里斯特尔·拜尔；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；维雷娜·沃尔夫

马尔可夫链的互模拟和模拟关系。 （英语） Zbl 1316.68085号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，73-78（2006）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，《电子》。注释Theor。计算。科学。162、73--78（2006年；Zbl 1316.68085）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件