格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 （英语） Zbl 1425.68266号 实时系统。 53，第3期，354-402（2017）.MSC公司：60年第68季度 68平方米 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《实时系统》。53，第3号，354--402（2017；Zbl 1425.68266） 全文： 内政部
格钦·诺曼;大卫·帕克;邹学义 部分可观测概率实时系统的验证和控制。 （英语） Zbl 1465.68182号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182） 全文： 内政部 arXiv公司
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2号，164--190（2013；Zbl 1291.68265） 全文： 内政部 链接