Interactive verification of Markov chains: Two distributed protocol case studies
Interactive verification of Markov chains: Two distributed protocol case studies
复制标题
马尔可夫链的交互式验证：两个分布式协议案例研究
DOI：
10.4204/eptcs.103.2
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Tobias Nipkow
中科院分区：
文献类型：
--
作者：
Johannes Hölzl;Tobias Nipkow
登录
查看更多内容
HOL 中有限状态离散时间马尔可夫链的形式化
DOI：
--
发表时间：
2011
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
Liya Liu;O. Hasan;S. Tahar
通讯作者：
S. Tahar
匿名、信息和机器辅助证明
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
A. R. Coble
通讯作者：
A. R. Coble
《Isabelle/HOL》中的测度论三章
DOI：
10.1007/978-3-642-22863-6_12
发表时间：
2011
期刊：
影响因子：
--
作者：
Johannes Hölzl;Armin Heller
通讯作者：
Armin Heller
验证 pCTL 模型检查
DOI：
10.1007/978-3-642-28756-5_24
发表时间：
2012
期刊：
影响因子：
--
作者：
Johannes Hölzl;Tobias Nipkow
通讯作者：
Tobias Nipkow
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Joe Hurd
通讯作者：
Joe Hurd