张正奎；布莱恩·尼尔森；Larsen，Kim G。 时间最优可达性分析的分布式算法。 （英语） Zbl 1433.68599号 Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9884, 157-173 (2016).MSC公司：68宽15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Lect。票据计算。科学。9884，157--173（2016；Zbl 1433.68599） 全文： 内政部
亚历山大·戴维；方慧星；金·古德斯特兰·拉森；张正奎 计时游戏策略的验证和性能评估。 （英语） Zbl 1448.68293号 Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8711, 100-114 (2014).MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。票据计算。科学。8711、100-114（2014年；Zbl 1448.68293） 全文： 内政部