Ka I.潘。;马丁·斯特芬;沃尔克·斯托尔茨 行为效应系统对锁处理进行死锁检查。 (英语) Zbl 1246.68097号 J.日志。阿尔盖布。程序。 81,第3期,331-354(2012).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I.Pun}等人,J.Log。阿尔盖布。程序。81、3号、331--354(2012;Zbl 1246.68097) 全文: 内政部
北卡罗来纳州哈曼。 SMT和CMT处理器行为和正确性的代数模型。 (英语) Zbl 1130.68016号 J.日志。阿尔盖布。程序。 74,第1号,32-56(2007).MSC公司:2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Harman},J.Log。阿尔盖布。程序。74,第1号,第32-56号(2007;Zbl 1130.68016) 全文: 内政部