张楠;段振华;田聪;杜定竹 PPTL公理系统中截止期驱动调度器的形式化证明。 (英语) Zbl 1360.68771号 西奥。计算。科学。 554, 229-253 (2014).MSC公司:第68页第15页 03B44号 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。554229-253(2014年;Zbl 1360.68771) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) Zbl 1213.68186号 数学。结构。计算。科学。 20,第5期,865-914(2010).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,数学。结构。计算。科学。20,第5号,865--914(2010;Zbl 1213.68186) 全文: 内政部