^ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始内容于2008-05-09）.
外部链接
E. Allen Emerson - A.M. Turing Award （页面存档备份，存于互联网档案馆）
E. Allen Emerson's homepage at the University of Texas at Austin （页面存档备份，存于互联网档案馆）
艾伦, 爱默生, 英語, ernest, allen, emerson, 1954年6月2日, 是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授, 2007年, 他与爱德蒙, 克拉克和约瑟夫, 斯发基斯一起因在model, checking, 英语, model, checking, 取得的杰出贡献而获得图灵奖, 出生, 1954, 1954年6月2日, 68歲, 美国德克萨斯州达拉斯国籍美国奖项图灵奖科学生涯研究领域计算机科学机构美国德克薩斯州大學奧斯汀分校参照, 编辑, turing, award, h. 艾伦 爱默生 英語 Ernest Allen Emerson 1954年6月2日 是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授 2007年 他与爱德蒙 克拉克和约瑟夫 斯发基斯一起因在model checking 英语 Model checking 取得的杰出贡献而获得图灵奖 1 艾伦 爱默生出生 1954 06 02 1954年6月2日 68歲 美国德克萨斯州达拉斯国籍美国奖项图灵奖科学生涯研究领域计算机科学机构美国德克薩斯州大學奧斯汀分校参照 编辑 ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster More Reliable Designs University of Texas 2008 02 04 2013 12 22 原始内容存档于2008 05 09 外部链接 编辑E Allen Emerson A M Turing Award 页面存档备份 存于互联网档案馆 E Allen Emerson s homepage at the University of Texas at Austin 页面存档备份 存于互联网档案馆 艾伦 爱默生在數學譜系計畫的資料 Turing Award announcement 页面存档备份 存于互联网档案馆 Kanellakis Award 艾伦 爱默生 at DBLP Bibliography ServerTemplate Kanellakis Award laureates 取自 https zh wikipedia org w index php title 艾伦 爱默生 amp oldid 70832200, 维基百科，wiki，书籍，书籍，图书馆，
