^Aperçu historique de l’immigration grecque à Grenoble （页面存档备份，存于互联网档案馆）, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
^. University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）.
约瑟夫, 斯发基斯, 此條目翻譯品質不佳, 2021年8月7日, 翻譯者可能不熟悉中文或原文語言, 也可能使用了機器翻譯, 請協助翻譯本條目或重新編寫, 并注意避免翻译腔的问题, 明顯拙劣的翻譯請改掛, href, template, html, class, redirect, title, template, href, wikipedia, html, class, redirect, title, wikipedia, 提交刪除, 英語, joseph, sifakis, 希臘語, Ιωσήφ, Σηφάκ. 此條目翻譯品質不佳 2021年8月7日 翻譯者可能不熟悉中文或原文語言 也可能使用了機器翻譯 請協助翻譯本條目或重新編寫 并注意避免翻译腔的问题 明顯拙劣的翻譯請改掛 a href Template D html class mw redirect title Template D d a a href Wikipedia CSD html G13 class mw redirect title Wikipedia CSD G13 a 提交刪除 约瑟夫 斯发基斯 英語 Joseph Sifakis 希臘語 Iwshf Shfakhs 1946年12月26日 是一名希腊计算机科学家和他也有法国国籍 1 2007年 他与爱德蒙 克拉克和艾伦 爱默生一起因在模型檢查 英语 Model checking 取得的杰出贡献而获得图灵奖 2 约瑟夫 斯发基斯出生1946年12月26日希腊克里特大區伊拉克利翁国籍希腊公民权希腊 法国母校国立雅典理工大学 格勒诺布尔 阿尔卑斯大学知名于模型檢查 英语 Model checking 的研发奖项图灵奖 2007年 科学生涯研究领域计算机科学家机构CNRS参照 编辑 Apercu historique de l immigration grecque a Grenoble 页面存档备份 存于互联网档案馆 Evangelia Moussouri in Ecarts d identites n 95 96 ISSN 1252 6665 reprinting information from an interview of Joseph Sifakis in Des grecs les grecs de Grenoble Musee Dauphinois ISBN 2 905375 08 6 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 外部链接 编辑 维基共享资源上的相關多媒體資源 约瑟夫 斯发基斯 Personal homepage 页面存档备份 存于互联网档案馆 Turing Award announcement 取自 https zh wikipedia org w index php title 约瑟夫 斯发基斯 amp oldid 70812988, 维基百科，wiki，书籍，书籍，图书馆，
