×

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

最新的 引文 关联
詹森，尼尔斯；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

马尔可夫模型中的参数综合：一项温和的调查。 （英语） Zbl 1528.68226号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 407-437 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，Lect。注释计算。科学。13660407--437（2022年；Zbl 1528.68226）
全文： 内政部 arXiv公司
拼写，Jip；斯文加·斯坦因；Joost-Pieter卡托恩

具有最佳预算的POMDP控制器。 （英语） Zbl 1522.68346号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 107-130 (2022).
MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。13479，107-130（2022；Zbl 1522.68346）
全文： 内政部
托拜厄斯·温克勒；约翰内斯·莱曼；Joost-Pieter卡托恩

失控：通过控制状态消除减少概率模型。 （英语） Zbl 1498.68176号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 450-472 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Winkler}等人，Lect。注释计算。科学。13182，450-472（2022；Zbl 1498.68176）
全文： 内政部 arXiv公司
见鬼，莱纳斯；拼写，Jip；塞巴斯蒂安·荣格斯；约书亚·莫尔曼；Joost-Pieter卡托恩

部分可观测性下随机控制器的渐变。 （英语） Zbl 1498.68159号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Heck}等人，Lect。注释计算。科学。13182127-150（2022年；兹比尔1498.68159）
全文： 内政部 arXiv公司
阿恩·哈特曼斯；Joost-Pieter卡托恩；科伦，布拉姆；拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。注释计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： 内政部 链接
马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter卡托恩；劳拉·科瓦奇

多项式概率程序的自动终止分析。 （英语） 兹比尔1473.68053

Yoshida，Nobuko（编辑），《编程语言与系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 491-518 (2021).
MSC公司：68号30 68甲19 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Moosbrugger}等人，Lect。注释计算。科学。12648491--518（2021年；Zbl 1473.68053）
全文： 内政部 arXiv公司
蒂姆·夸特曼；Joost-Pieter卡托恩

长期平均和总回报的多目标优化。 （英语） Zbl 1467.68094号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 230-249 (2021).
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。12651、230-249（2021；Zbl 1467.68094）
全文： 内政部 arXiv公司
罗马人Andriushchenko；科什卡，米兰；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

概率程序的归纳综合达到了新的境界。 （英语） Zbl 1467.68035号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 191-209 (2021).
MSC公司：68号30 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Andriushchenko｝等人，Lect。注释计算。科学。12651、191--209（2021；Zbl 1467.68035）
全文： 内政部 arXiv公司
拼写，Jip；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

发现可证明的最优马尔可夫链。 （英语） Zbl 1467.68095号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 173-190 (2021).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。12651、173--190（2021年；Zbl 1467.68095）
全文： 内政部
亚历山大·博克；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；蒂姆·夸特曼

不确定地平线POMDP的验证。 （英语） Zbl 1517.68225号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 288-304 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Bork}等人，Lect。注释计算。科学。12302288--304（2020年；Zbl 1517.68225）
全文： 内政部 arXiv公司
佛罗伦萨德尔格兰奇；Joost-Pieter卡托恩；蒂姆·夸特曼；米凯尔·兰多尔

多目标MDP中的简单策略。 （英语） Zbl 1507.68183号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 346-364 (2020).
MSC公司：60年第68季度 2017年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Delgrange}等人，Lect。注释计算。科学。12078346--364（2020年；兹比尔1507.68183）
全文： 内政部 arXiv公司
穆拉特·库布克特佩；詹森，尼尔斯；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；托普库，乌福

基于场景的不确定MDP验证。 （英语） Zbl 1507.68182号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，Lect。注释计算。科学。12078，287--305（2020；Zbl 1507.68182）
全文： 内政部 arXiv公司
凯文·巴茨；塞巴斯蒂安·荣格斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德

初级集成电路3：MDB的属性定向可达性。 （英语） Zbl 1478.68143号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 512-538 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Batz}等人，Lect。注释计算。科学。12225512-538（2020；Zbl 1478.68143）
全文： 内政部 arXiv公司
克里希南德·查特吉；Joost-Pieter卡托恩；马克西米利安·威宁格；托拜厄斯·温克勒

具有词典可达性-安全目标的随机博弈。 （英语） Zbl 1478.68151号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 398-420 (2020).
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。12225398--420（2020年；Zbl 1478.68151）
全文： 内政部 arXiv公司
克里斯特尔·拜尔；克里斯蒂安·亨塞尔；Lisa Hutschenreiter；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；约阿希姆·克莱因

参数马尔可夫链：PCTL复杂性和无分数高斯消去。 （英语） Zbl 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 1527.68144号

Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11428, 172-190 (2019).
MSC公司：87年第68季度 60J20型 65年第68季度 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.采什卡}等人，Lect。注释计算。科学。11428、172-190（2019年；Zbl 1527.68144）
全文： 内政部 arXiv公司
克里斯特尔·拜尔；霍尔格·赫尔曼斯；Joost-Pieter卡托恩

MDP模型检查的10000个方面。 （英语） Zbl 1482.68133号

Steffen，Bernhard（编辑）等人，《计算与软件科学》。最先进的技术和观点。查姆：斯普林格。莱克特。注释计算。科学。10000, 420-451 (2019).
MSC公司：60年第68季度 2003年8月 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。10000，420-451（2019；Zbl 1482.68133）
全文： 内政部
拼写，Jip；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

参数马尔可夫链是单调的吗？ （英语） Zbl 1437.68121号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781479-496（2019年）。
MSC公司：60年第68季度 60J10型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。11781479--496（2019年；Zbl 1437.68121）
全文： 内政部 arXiv公司
塞巴斯蒂安·阿明；埃齐奥·巴托西；克里希南德·查特吉；Joost-Pieter卡托恩；安娜·索科洛娃

通过POMDP实现pMDP的参数无关策略。 （英语） Zbl 1514.68190号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 53-70 (2018).
MSC公司：87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Arming}等人，Lect。注释计算。科学。11024，53-70（2018；Zbl 1514.68190）
全文： 内政部 arXiv公司
蒂姆·夸特曼；Joost-Pieter卡托恩

声音值迭代。 （英语） Zbl 1511.68167号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 643-661 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。10981643--661（2018年；Zbl 1511.68167）
全文： 内政部 arXiv公司
冯一军；Joost-Pieter卡托恩；李浩坤；夏碧灿；詹乃军

通过多锁定时自动机监测CTMC。 （英语） Zbl 1511.68152号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 507-526 (2018).
MSC公司：60年第68季度 60J27型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Feng}等人，Lect。注释计算。科学。10981507--526（2018年；Zbl 1511.68152）
全文： 内政部
蒂姆·夸特曼；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

多目标马尔可夫自动机。 （英语） Zbl 1494.68146号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10426140-159（2017年）。
MSC公司：65年第68季度 60年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}等人，Lect。注释计算。科学。10426，140--159（2017；Zbl 1494.68146）
全文： 内政部 arXiv公司
穆拉特·库布克特佩；詹森，尼尔斯；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；伊凡·帕普莎；哈桑·普纳瓦拉（Hasan A.Poonawala）。；托普库，乌福

序贯凸规划用于参数MDP的有效验证。 （英语） Zbl 1452.68117号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 133-150 (2017).
MSC公司：60年第68季度 87年第68季度 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，Lect。注释计算。科学。10206133-150（2017；Zbl 1452.68117）
全文： 内政部 arXiv公司
Joost-Pieter卡托恩；福尔克·谢尔

模态随机博弈。概率自动机的抽象精化。 （英语） Zbl 1431.68058号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 426-445 (2017).
MSC公司：65年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}和\textit{F.Sher}，莱克特。注释计算。科学。10460426-445（2017年；兹bl 1431.68058）
全文： 内政部
詹森，尼尔斯；克里斯蒂安·德内特；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；卢卡斯·韦斯特霍芬

概率程序的有界模型检验。 （英语） Zbl 1398.68343号

Artho，Cyrille（编辑）等人，用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，68-85（2016）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，Lect。注释计算。科学。9938，68-85（2016；Zbl 1398.68343）
全文： 内政部 arXiv公司
蒂姆·夸特曼；克里斯蒂安·德内特；詹森，尼尔斯；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

马尔可夫模型的参数合成：比以往更快。 （英语） Zbl 1398.68346号

Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，50-67（2016）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}等人，Lect。注释计算。科学。9938，50-67（2016；Zbl 1398.68346）
全文： 内政部 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计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）。56-65（2016；Zbl 1394.68169）
全文： 内政部
Joost-Pieter卡托恩

概率模型检查景观。 （英语） Zbl 1401.68201号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。31-45 (2016).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。31-45（2016；Zbl 1401.68201）
全文： 内政部 链接
本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；费德里科·奥利梅多

概率程序预期运行时间的弱前提推理。 （英语） Zbl 1335.68058号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632364-389（2016）。
MSC公司：68号30 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.L.Kaminski}等人，Lect。注释计算。科学。9632364--389（2016年；Zbl 1335.68058）
全文： 内政部 arXiv公司
查克拉波蒂，苏伊莫迪普；Joost-Pieter卡托恩

开区间马尔可夫链的模型检验。 （英语） Zbl 1392.68240号

Gribaudo，Marco（编辑）等人，《分析和随机建模技术及应用》。第22届国际会议，ASMTA 2015，保加利亚阿尔贝纳，2015年5月26-29日。诉讼程序。查姆：施普林格（ISBN 978-3-319-18578-1/pbk；978-3-316-18579-8/电子书）。计算机科学课堂讲稿9081，30-42（2015）。
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。9081，30--42（2015；Zbl 1392.68240）
全文： 内政部
詹森，尼尔斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；费德里科·奥利梅多；弗里德里希·格雷茨；安娜贝拉·麦克维尔

概率规划中的条件处理。 （英语） Zbl 1351.68066号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319199-216，仅电子版（2015）。
MSC公司：68甲19 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，《电子》。注释Theor。计算。科学。319199-216（2015年；兹比尔1351.68066）
全文： 内政部 arXiv公司
本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩

关于几乎完全终止的硬度。 （英语） Zbl 1465.68097号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 307-318 (2015).
MSC公司：2017年第68季度 68号30 第68季度10 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.L.Kaminski}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。9234、307--318（2015；Zbl 1465.68097）
全文： 内政部 arXiv公司
马丁·范策尔；塞巴斯蒂安·格温；保罗·克罗格；亚历山德罗·阿巴特；Joost-Pieter卡托恩

概率混合系统中的多目标参数综合。 （英语） Zbl 1465.68177号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268，93-107（2015年）。
MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，Lect。注释计算。科学。9268、93-107（2015年；Zbl 1465.68177）
全文： 内政部
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卡托恩

概率多计数器自动机中的零可达性。 （英语） Zbl 1401.68151号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第22号论文，第10页（2014年）。
MSC公司：65年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第22号论文，第10页（2014；Zbl 1401.68151）
全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；詹森，尼尔斯；Joost-Pieter卡托恩；拉尔夫·威默

离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
MSC公司：60年第68季度 60J22型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130）
全文： 内政部
古克，丹尼斯；哈桑·哈特菲；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；马克·蒂默

马尔可夫自动机的时间和长期目标分析。 （英语） Zbl 1342.68135号

日志。方法计算。科学。 10，第3号，第17号论文，29页（2014）.
MSC公司：第68季度10 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Guck}等人，Log。方法计算。科学。10，第3号，第17号论文，29页（2014；Zbl 1342.68135）
全文： 内政部 arXiv公司
查克拉波蒂，苏伊莫迪普；Joost-Pieter卡托恩

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

乔塞普·迪亚兹（编辑）等人，《理论计算机科学》。第八届IFIP TC 1/WG 2.2国际会议，TCS 2014，罗马，意大利，2014年9月1日至3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。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公司
克里斯蒂安·德内特；Joost-Pieter卡托恩；大卫·帕克

基于SMT的马尔可夫模型的互模拟最小化。 （英语） Zbl 1426.68168号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 28-47 (2013).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dehnert}等人，Lect。注释计算。科学。7737，28-47（2013；Zbl 1426.68168）
全文： 内政部
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；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）
全文： 内政部
Arpit Sharma公司；Joost-Pieter卡托恩

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

Clarke，Edmund（编辑）等人，《系统信息学的观点》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。《计算机科学讲义》7162232-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卡托恩；范德波尔（Jaco van de Pol）；玛丽·艾尔·斯托琳加。

马尔可夫自动机的有效建模和生成。 （英语） Zbl 1364.68295号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，364-379（2012）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Timmer}等人，Lect。注释计算。科学。7454、364--379（2012年；Zbl 1364.68295）
全文： 内政部 链接
福尔克·谢尔；Joost-Pieter卡托恩

概率自动机的组合抽象技术。 （英语） Zbl 1362.68155号

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604325-341（2012）。
MSC公司：65年第68季度 60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Sher}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。7604325--341（2012；Zbl 1362.68155）
全文： 内政部
拉尔夫·威默；詹森，尼尔斯；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；Joost-Pieter卡托恩

离散时间Markov模型的最小临界子系统。 （英语） Zbl 1352.68167号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，299-314（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Wimmer}等人，Lect。注释计算。科学。7214，299--314（2012；Zbl 1352.68167）
全文： 内政部
Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加；马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
亚历山德罗·阿巴特；Joost-Pieter卡托恩；亚历山大·梅雷克莱

自治随机混合系统的定量自动机模型检验。 （英语） Zbl 1361.68130号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。83-92 (2011).
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。83-92（2011年；Zbl 1361.68130）
全文： 内政部
傅洪飞；Joost-Pieter卡托恩

决定概率下推自动机和有限状态系统之间的概率模拟。 （英语） Zbl 1246.68144号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，445-456，仅电子版（2011年）。
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fu}和\textit{J.-P.Katoen}，LIPIcs——莱布尼茨国际程序。通知。13、445--456（2011；Zbl 1246.68144）
全文： 内政部
詹森，尼尔斯；艾丽卡·阿尔布拉汉姆；Jens Katelaan公司；拉尔夫·威默；Joost-Pieter卡托恩；贝恩德·贝克尔

离散时间马尔可夫链的层次反例。 （英语） Zbl 1348.68139号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996443-452（2011）。
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，Lect。注释计算。科学。6996、443--452（2011年；Zbl 1348.68139）
全文： 内政部
陈、陶璐；韩婷婷；Joost-Pieter卡托恩；亚历山大·梅雷克莱

用单时钟时间自动机观测连续时间MDP。 （英语） Zbl 1348.68127号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，2-25（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。6945，2--25（2011；Zbl 1348.68127）
全文： 内政部
陈、陶璐；韩婷婷；Joost-Pieter卡托恩；亚历山大·梅雷克莱

根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） Zbl 1233.68156号

日志。方法计算。科学。 7，第1号，第12号论文，34页（2011年）.
审核人：加布里埃尔·V·奥尔曼（布拉什奥夫）
MSC公司：60年第68季度 45D05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Log。方法计算。科学。7，第1号，第12号论文，34页（2011年；Zbl 1233.68156）
全文： 内政部
巴伯，贝诺；陈、陶璐；韩婷婷；Joost-Pieter卡托恩；亚历山大·梅雷克莱

线性实时目标的高效CTMC模型检查。 （英语） Zbl 1315.68174号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605128-142（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。注释计算。科学。6605128--142（2011年；Zbl 1315.68174）
全文： 内政部
霍尔格·赫尔曼斯；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）
全文： 内政部 链接
Joost-Pieter卡托恩；McIver，Annabelle K。；拉里萨·梅尼基。；卡罗尔·摩根。

概率程序的线性变分生成：自动支持基于证据的方法。 （英语） Zbl 1239.68020号

Cousot，Radhia（编辑）等人，《静态分析》。2010年9月14日至16日，第17届国际研讨会，SAS 2010，法国佩皮尼昂。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15768-4/pbk）。计算机科学课堂讲稿6337，390-406（2010）。
MSC公司：68甲19 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。6337390--406（2010年；Zbl 1239.68020）
全文： 内政部
Joost-Pieter卡托恩；丹尼尔·克林克；Neuhäußer，Martin R。

随机系统的组合抽象。 （英语） Zbl 1262.68142号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813195-211（2009）。
MSC公司：87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。5813，195--211（2009；Zbl 1262.68142）
全文： 内政部 链接
陈、陶璐；韩婷婷；Joost-Pieter卡托恩；亚历山大·梅雷克莱

时间非均匀马尔可夫链的LTL模型检验。 （英语） Zbl 1262.68108号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799104-119（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。5799，104-119（2009；Zbl 1262.68108）
全文： 内政部
Neuhäußer，Martin R。；玛丽·斯托琳加；Joost-Pieter卡托恩

连续时间Markov决策过程中的延迟不确定性。 （英语） Zbl 1234.68320号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504364-379（2009）。
MSC公司：87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Neuhäußer}等人，Lect。注释计算。科学。5504364-379（2009年；Zbl 1234.68320）
全文： 内政部
克里斯特尔·拜尔；Boudewijn R.哈维尔科特。；霍尔格·赫尔曼斯；Joost-Pieter卡托恩

连续时间马尔可夫报酬决策过程中的可达性。 （英语） Zbl 1222.68120号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑与游戏中的文本》2，53-71（2008）。
审核人：克里斯特尔·拜尔（德累斯顿）
MSC公司：87年第68季度 60年第68季度 90立方厘米 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，文本日志。游戏2，53-71（2008；Zbl 1222.68120）
韩婷婷；Joost-Pieter卡托恩

概率模型检验中的反例。 （英语） Zbl 1186.68293号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。《计算机科学讲义》4424，72-86（2007）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Han}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。4424、72--86（2007年；Zbl 1186.68293）
全文： 内政部
Joost-Pieter卡托恩；蒂姆·凯姆纳；伊万·扎普列夫；大卫·詹森（David N.Jansen）。

互模拟最小化主要加快了概率模型检查。 （英语） Zbl 1186.68296号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿442487-101（2007）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。4424，87-101（2007；Zbl 1186.68296）
全文： 内政部
马里奥·布雷韦蒂；霍尔格·赫尔曼斯；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年；兹比尔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）
全文： 内政部
克里斯特尔·拜尔（编辑）；Boudewijn R.哈维尔科特。（编辑）；霍尔格·赫尔曼斯（编辑）；Joost-Pieter卡托恩（编辑）；马库斯·西格尔（编辑）

随机系统的验证。当前研究指南。 （英语） Zbl 1047.68001号

计算机科学课堂讲稿2925.柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。viii，467页。(2004).
MSC公司：68-06 87年第68季度 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（2004；Zbl 1047.68001）
全文： 内政部
克里斯特尔·拜尔；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；维雷娜·沃尔夫

马尔可夫链的比较分支时间语义（扩展抽象）。 （英语） Zbl 1274.68264号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 492-507 (2003).
MSC公司：87年第68季度 60J10型 60J20型 60J27型 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。2761492--507（2003年；Zbl 1274.68264）
全文： 内政部
大卫·詹森（David N.Jansen）。；霍尔格·赫尔曼斯；Joost-Pieter卡托恩

UML状态图规范和验证的概率扩展。 （英语） Zbl 1278.68226号

Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469355-374（2002）。
MSC公司：87年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Jansen}等人，Lect。注释计算。科学。2469355--374（2002年；Zbl 1278.68226）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件