“使用Mur-phi验证器对马尔可夫链进行有限水平分析。”
朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur-phi检验器对马尔可夫链进行有限域分析。 CHARME公司 2003 : 394-409
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。