“使用Murphi验证器对马尔可夫链进行有限时域分析。”
朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
利用Murphi验证器对马尔可夫链进行有限时域分析。 国际期刊软件。 技术工具。 Transf公司。 8 ( 4-5 ) : 397-409 ( 2006 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。