多米尼克·克莱恩;弗兰克·G·拉德马赫。;沃尔夫冈·托马斯 在随机故障下在网络中移动:复杂性分析。 (英语) Zbl 1242.68031号 科学。计算。程序。 77,编号7-8,940-954(2012).MSC公司:68米15 2017年第68季度 91A80型 91年43月 91A05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Klein}等人,科学。计算。程序。77号7--8940--954(2012;Zbl 1242.68031) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部