亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 迷失在抽象中:多线程程序中的单调性。 (英语) Zbl 1355.68055号 Inf.计算。 252, 30-47 (2017).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人,《信息计算》。252、30--47(2017年;Zbl 1355.68055) 全文: 内政部
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 对称并发程序的反示例引导抽象精化。 (英语) Zbl 1284.68179号 形式方法系统。设计。 第41期,第1期,第25-44页(2012年).MSC公司:68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。41、第1号、第25-44号(2012年;Zbl 1284.68179) 全文: 内政部 链接