×

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

最新的 引文 关联
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Hutschenreiter，丽莎;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因

参数马尔可夫链：PCTL复杂性和无分数高斯消去。 （英语） 兹比尔1443.68101

Inf.计算。 272，文章ID 104504，26 p.（2020）.
MSC公司：60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，《信息计算》。272，文章ID 104504，26 p.（2020；Zbl 1443.68101）
全文： 内政部 arXiv公司
查克拉波蒂，苏伊莫迪普;Joost-Pieter卡托恩

关于一些简单概率逻辑的可满足性。 （英语） Zbl 1394.68169号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。56-65 (2016).
MSC公司：65年第68季度 03B25号 03B44号 03B45号 03B48号 60J20型 2017年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}和\textit{J.-P.Katoen}，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。56-65（2016；Zbl 1394.68169）
全文： 内政部
Joost-Pieter卡托恩;宋磊;张丽君

可能安全或活着。 （英语） Zbl 1394.68231号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第55号论文，第10页（2014年）。
MSC公司：60年第68季度 03B44号 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。第55号论文，10页（2014；Zbl 1394.68231）
全文： 内政部 arXiv公司 链接
查克拉波蒂，苏伊莫迪普;Joost-Pieter卡托恩

马尔可夫链上的参数LTL。 （英语） Zbl 1417.68099号

乔塞普·迪亚兹（编辑）等人，《理论计算机科学》。2014年9月1日至3日，第八届IFIP TC 1/WG 2.2国际会议，TCS 2014，意大利罗马。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8705, 207-221 (2014).
MSC公司：60年第68季度 03B44号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。8705、207--221（2014；Zbl 1417.68099）
全文： 内政部 arXiv公司
Arpit Sharma公司;Joost-Pieter卡托恩

马尔可夫链上的加权集总性。 （英语） Zbl 1336.68186号

Clarke，Edmund（编辑）等人，《系统信息学的观点》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学课堂讲稿7162322-339（2012）。
MSC公司：68问题85 60J28型 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sharma}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。7162、322--339（2012年；Zbl 1336.68186）
全文： 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;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）
全文： 内政部
迪诺·迪斯特法诺;Joost-Pieter卡托恩;阿伦德·伦辛克

谁在指向谁？关于链表结构的自动验证。 （英语） Zbl 1117.68427号

Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328250-262（2004）。
MSC公司：60年第68季度 03B44号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{D.Distefano}等人，Lect。注释计算。科学。3328250-262（2004；Zbl 1117.68427）
全文： 内政部
迪诺·迪斯特法诺;Joost-Pieter卡托恩;阿伦德·伦辛克

基于对象系统的时态逻辑。 （英语） Zbl 0968.68020号

Smith，Scott F.（ed.）等人，开放式基于对象的分布式系统的形式化方法IV.IFIP TC6/WG6.1。2000年9月6日至8日，第四届国际会议，FMOODS 2000，美国加利福尼亚州斯坦福市。波士顿：Kluwer学术出版社。305-325 (2000).
MSC公司：68甲15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Distefano}等人，in：开放式基于对象的分布式系统的形式化方法IV.IFIP TC6/WG6。1.第四届国际会议，FMOODS 2000，斯坦福，加利福尼亚州，美国，2000年9月6-8日。波士顿：Kluwer学术出版社。305-325（2000年；兹bl 0968.68020）
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯

连续时间马尔可夫链的近似符号模型检验。 （英语） Zbl 0934.03044号

Baeten，Jos C.M.（编辑）等人，CONCUR’99。并发理论。第十届国际会议，荷兰埃因霍温，1999年8月24日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1664146-161（1999年）。
MSC公司：03B70号 68瓦30 68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。1664146-161（1999；Zbl 0934.03044）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件