×

找到15份文件（结果1-15）

最新的 引文 关联
哈桑·哈特菲;拉尔夫·威默;布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯

随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1370.68173号

正式Asp。计算。 29，第4号，629-649（2017）.
MSC公司：65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{H.Hatefi}等人，《形式Asp》。计算。29，编号4629-649（2017；兹bl 1370.68173）
全文： 内政部
霍尔格·赫尔曼斯;简·克查尔;Steen背心

连续时间的分布式合成。 （英语） Zbl 1475.68207号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 353-369 (2016).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}等人，Lect。注释计算。科学。9634，353--369（2016；Zbl 1475.68207）
全文： 内政部 arXiv公司
克里斯蒂安·艾森特罗;Jens Chr.Godskesen。;霍尔格·赫尔曼斯;宋磊;张丽君

实际调度程序的概率互模拟。 （英语） Zbl 1427.68193号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 248-264 (2015).
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。9109、248--264（2015；Zbl 1427.68193）
全文： 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;张丽君

每个GSPN的语义。 （英语） Zbl 1381.68199号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927，90-109（2013）。
MSC公司：68问题85 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。7927、90-109（2013年；Zbl 1381.68199）
全文： 内政部
霍尔格·赫尔曼斯;Joost-Pieter卡托恩

交互马尔可夫链的方式和原因。 （英语） Zbl 1312.68152号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，311-337（2010）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。6286、311--337（2010年；Zbl 1312.68152）
全文： 内政部 链接
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯

向新生教授并发概念。 （英语） Zbl 1171.68571号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。
MSC公司：68问题85 97U30型
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。注释计算。科学。5100、35-53（2008年；Zbl 1171.68571）
全文： 内政部
佩皮恩·克鲁森;霍尔格·赫尔曼斯;张丽君

关于非循环模型的最小化。 （英语） Zbl 1160.68462号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。2008年8月19日至22日，加拿大多伦多，第19届国际会议，CONCUR 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，295-309（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Crouzen}等人，Lect。注释计算。科学。5201、295--309（2008年；Zbl 1160.68462）
全文： 内政部
马里奥·布拉维蒂;霍尔格·赫尔曼斯;Joost-Pieter卡托恩

基督教青年会：为什么是马尔可夫链代数？ （英语） Zbl 1316.68088号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162107-112（2006）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}等人，《电子》。注释Theor。计算。科学。162107-112（2006；Zbl 1316.68088）
全文： 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;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名

主字段

全部的 前3名

软件