×

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

最新的 引文 关联
克里斯特尔·拜尔；科宁，诺琳；伯恩德·芬克贝纳；弗洛里安·芬克；西蒙·詹奇；朱利安·西伯

基于因果关系的游戏解决。 （英语） Zbl 1493.68203号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).
MSC公司：60年第68季度 03B70号 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。12759894--917（2021年；Zbl 1493.68203）
全文： 内政部 arXiv公司
克里斯特尔·拜尔；卢卡·德·阿尔法罗；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；克吕佩尔霍尔茨，萨沙；琳达·卢施纳

使用概率模型检查对弹性系统进行能源效用分析。 （英语） 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）
全文： 内政部
法哈德·阿尔巴；孙孟；克里斯特尔·拜尔

根据基于场景的规范合成Reo电路。 （英语） Zbl 1347.68024号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，21-41（2009）。
MSC公司：64岁以下 68个M12 68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Arbab}等人，《电子》。注释Theor。计算。科学。229，第2号，第21-41号（2009；Zbl 1347.68024）
全文： 内政部
克里斯特尔·拜尔；马库斯·格罗斯尔；Frank Ciesinski先生

公平约束下的定量分析。 （英语） Zbl 1262.68102号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799135-150（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。5799、135-150（2009年；Zbl 1262.68102）
全文： 内政部
克里斯特尔·拜尔；纳塔莉·伯特兰；马库斯·格勒

在欧米伽自动投掷硬币的效果。 （英语） Zbl 1254.68142号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，15-29（2009）。
MSC公司：60年第68季度 05年3月 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。5710、15--29（2009年；Zbl 1254.68142）
全文： 内政部
克里斯特尔·拜尔；纳塔莉·伯特兰；马库斯·格勒

无限单词上语言的概率接受词。 （英语） Zbl 1206.68167号

Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404，19-33（2009）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。5404、19-33（2009年；Zbl 1206.68167）
全文： 内政部
克里斯特尔·拜尔；纳塔莉·伯特兰；马库斯·格勒

关于概率Büchi自动机的决策问题。 （英语） Zbl 1139.68030号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962287-301（2008）。
MSC公司：65年第68季度 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。4962，287--301（2008；Zbl 1139.68030）
全文： 内政部
约阿希姆·克莱因；克里斯特尔·拜尔

确定性自动机构造中的即兴断断续续。 （英语） Zbl 1139.68366号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，51-61（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.克莱因}和\textit{C.拜尔}，莱克特。注释计算。科学。4783、51-61（2007年；Zbl 1139.68366）
全文： 内政部
克里斯特尔·拜尔；霍尔格·赫尔曼斯；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）
全文： 内政部
拜尔，C。；北伯特兰。；Schnoebelen博士。

具有概率消息丢失的通信系统的符号验证：活性和公平性。 （英语） Zbl 1225.68108号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229212-227（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。4229212-227（2006；Zbl 1225.68108）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件