伯恩哈德·克拉格尔;沙兹·卡迪尔;托马斯·亨辛格(Thomas A.Henzinger)。 结构化并发程序的优化。 (英语) Zbl 1478.68044号 Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12224, 275-298 (2020).MSC公司:第68页第19页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kragl}等人,Lect。注释计算。科学。12224,275--298(2020年;Zbl 1478.68044) 全文: 内政部
伯恩哈德·克拉格尔;沙兹·卡迪尔 分层并发程序。 (英语) Zbl 1511.68062号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。1098179-102(2018年)。MSC公司:第68页第19页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kragl}和\textit{S.Qadeer},莱克特。注释计算。科学。10981,79-102(2018;Zbl 1511.68062) 全文: 内政部
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;季凯良;沙兹·卡迪尔 关于在有界异步下验证消息传递程序的完整性。 (英语) Zbl 1511.68073号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆:斯普林格公开赛。莱克特。注释计算。科学。10982, 372-391 (2018).MSC公司:68号30 2017年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。注释计算。科学。10982,372--391(2018年;Zbl 1511.68073) 全文: 内政部 arXiv公司
伯恩哈德·克拉格尔;沙兹·卡迪尔;托马斯·亨辛格(Thomas A.Henzinger)。 同步异步。 (英语) Zbl 1520.68029号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第21条,第17页(2018年)。MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Kragl}等人,LIPIcs——莱布尼茨国际会议记录。通知。118,第21条,第17页(2018;Zbl 1520.68029) 全文: 内政部
阿尔蒂·古普塔;维尼特·卡隆;沙兹·卡迪尔;泰瑟·图利 模型检查并发程序。 (英语) Zbl 1392.68251号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。573-611 (2018).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,in:模型检查手册。查姆:斯普林格。573--611(2018;Zbl 1392.68251) 全文: 内政部
阿卡什·拉尔;沙兹·卡迪尔 可达性模理论。 (英语) 兹比尔1407.68294 Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:斯普林格。莱克特。注释计算。科学。8169, 23-44 (2013).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lal}和\textit{S.Qadeer},莱克特。注释计算。科学。8169,23-44(2013;Zbl 1407.68294) 全文: 内政部
戈帕拉克里希南,Ganesh L。(编辑);沙兹·卡迪尔(编辑) 前言。 (英语) Zbl 1284.68015号 形式方法系统。设计。 41,第1、3号(2012).MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan}(编辑)和\textit{S.Qadeer}(编),《形式方法系统》。设计。41、第1、3号(2012;Zbl 1284.68015) 全文: 内政部
穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;卡迪尔,沙兹 动态创建线程的并发程序的上下文分析。 (英语) Zbl 1237.68056号 日志。计算方法。科学。 7,第4期,第4号论文,48页(2011年).MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人,《日志》。计算方法。科学。7,第4期,第4号论文,48页(2011年;Zbl 1237.68056) 全文: 内政部
加内什·戈帕拉克里什南(编辑);沙兹·卡迪尔(编辑) 计算机辅助验证。2011年7月14日至20日,第23届国际会议,CAV 2011,美国犹他州雪鸟。诉讼程序。 (英语) Zbl 1220.68006号 计算机科学课堂讲稿6806.柏林:施普林格出版社(ISBN 978-3-642-22109-5/pbk)。十七、763页。(2011).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gopalakrishnan}(编辑)和\textit{S.Qadeer}(编),计算机辅助验证。2011年7月14日至20日,第23届国际会议,CAV 2011,美国犹他州雪鸟。诉讼程序。柏林:施普林格出版社(2011;Zbl 1220.68006) 全文: 内政部
塔伊芬·埃尔马斯;沙兹·卡迪尔;阿里·塞兹金;奥马尔·苏巴西;塞尔达尔·塔西兰 用归约和抽象简化线性化证明。 (英语) Zbl 1284.68181号 Esparza,Javier(编辑)等人,用于系统构建和分析的工具和算法。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。计算机科学课堂讲稿6015296-311(2010)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Elmas}等人,Lect。注释计算。科学。6015296-311(2010年;Zbl 1284.68181) 全文: 内政部
Lahiri,Shuvendu K。;亚历山大·马尔基斯;沙兹·卡迪尔 抽象线程。 (英语) Zbl 1273.68087号 Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,VMCAI 2010,马德里,西班牙,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学课堂讲稿5944231-246(2010)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}等人,Lect。注释计算。科学。5944、231--246(2010年;Zbl 1273.68087) 全文: 内政部
杰里米·康迪特;布莱恩·哈克特;Lahiri,Shuvendu K。;沙兹·卡迪尔 统一低级代码的类型检查和属性检查。 (英语) Zbl 1315.68086号 第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,POPL’09,美国佐治亚州萨凡纳,2009年1月18日至24日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。302-314 (2009).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Condit}等人,摘自:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。302-314(2009;Zbl 1315.68086) 全文: 内政部
塔伊芬·埃尔马斯;卡迪尔,沙兹;塞尔达尔·塔西兰 原子作用的微积分。 (英语) Zbl 1315.68087号 第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,POPL’09,美国佐治亚州萨凡纳,2009年1月18日至24日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。2-15 (2009).MSC公司:68号30 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{T.Elmas}等人,in:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。2--15(2009年;Zbl 1315.68087) 全文: 内政部
Lahiri,Shuvendu K。;卡迪尔,沙兹 单项式和子句谓词抽象的复杂性和算法。 (英语) Zbl 1250.68194号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。《人工智能课堂讲稿》,214-229(2009)。MSC公司:第68季度第60季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}和\textit{S.Qadeer},莱克特。注释计算。科学。5663、214--229(2009年;Zbl 1250.68194) 全文: 内政部
穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;沙兹·卡迪尔 动态创建线程的并发程序的上下文分析。 (英语) Zbl 1234.68068号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505107-123(2009)。MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人,Lect。注释计算。科学。5505107-123(2009年;Zbl 1234.68068) 全文: 内政部 arXiv公司
舒文杜·拉希里;沙兹·卡迪尔 回到未来,使用SMT求解器重新访问精确的程序验证。 (英语) Zbl 1295.68087号 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机械协会(ACM)(ISBN 978-1-59593-689-9)。171-182(2008年)。MSC公司:68号30 68甲18 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahiri}和\textit{S.Qadeer},摘自:第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'08,美国加利福尼亚州旧金山,2008年1月7日至12日。纽约州纽约市:计算机协会(ACM)。171-182(2008年;Zbl 1295.68087) 全文: 内政部
艾哈迈德·博阿贾尼;塞维琳·弗拉塔尼;沙兹·卡迪尔 具有动态链接结构的多线程程序的上下文分析。 (英语) Zbl 1135.68365号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590207-220(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。注释计算。科学。4590、207--220(2007年;Zbl 1135.68365) 全文: 内政部
肖纳克·查特吉;Lahiri,Shuvendu K。;沙兹·卡迪尔;茨沃尼米尔·拉卡马里奇 用于分析低级软件的可达性谓词。 (英语) Zbl 1186.68108号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424,19-33(2007)。MSC公司:68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatterjee}等人,Lect。注释计算。科学。4424、19-33(2007年;Zbl 1186.68108) 全文: 内政部
Lahiri,Shuvendu K。;沙兹·卡迪尔 验证基础良好的链接列表的属性。 (英语) Zbl 1369.68143号 2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-027-2)。115-126(2006年)。MSC公司:68号30 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}和\textit{S.Qadeer},摘自:第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'06,查尔斯顿,南卡罗来纳州,美国,2006年1月11-13日。纽约州纽约市:计算机协会(ACM)。115-126(2006年;Zbl 1369.68143) 全文: 内政部
弗拉基米尔·莱文;罗伯特·帕尔默;沙兹·卡迪尔;Rajamani,Sriram K。 基于事务的合理缩减,无需周期检测。 (英语) 兹比尔1151.68372 Patrice Godefroid(编辑),模型检查软件。第十二届国际SPIN研讨会,美国加利福尼亚州旧金山,2005年8月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28195-9/pbk)。计算机科学课堂讲稿3639106-122(2005)。MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{V.Levin}等人,Lect。注释计算。科学。3639、106-122(2005年;Zbl 1151.68372) 全文: 内政部
沙兹·卡迪尔;雅各布·雷霍夫 并发软件的上下文模型检查。 (英语) Zbl 1087.68598号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿344093-107(2005)。MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Qadeer}和\textit{J.Rehof},莱克特。注释计算。科学。3440,93-107(2005;Zbl 1087.68598) 全文: 内政部
科马克·弗拉纳根;斯蒂芬·弗伦德(Stephen N.Freund)。;卡迪尔,沙兹;Sanjit A.Seshia。 多线程程序的模块化验证。 (英语) Zbl 1108.68080号 西奥。计算。科学。 338,编号1-3,153-183(2005).MSC公司:68问题85 68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}等人,Theor。计算。科学。338,编号1--3,153-183(2005;Zbl 1108.68080) 全文: 内政部 链接
卡迪尔,沙兹;Rajamani,Sriram K。;雅各布·雷霍夫 总结并发程序中的过程。 (英语) 兹比尔1325.68156 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。245-255 (2004).MSC公司:第68季度第60季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Qadeer}等人,摘自:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'04,意大利威尼斯,2004年1月14-16日。纽约州纽约市:计算机协会(ACM)。245--255(2004;Zbl 1325.68156) 全文: 内政部
安德鲁斯、托尼;沙兹·卡迪尔;Rajamani,Sriram K。;雅各布·雷霍夫;谢、伊晨 Zing:并发软件的模型检查器。 (英语) Zbl 1103.68600号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,484-487(2004)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Andrews}等人,Lect。注释计算。科学。3114、484--487(2004年;Zbl 1103.68600) 全文: 内政部
杰西·宾厄姆;安妮·康登;胡亚伦·J·。;沙兹·卡迪尔;张志川 自动验证无界地址和数据值的顺序一致性。 (英语) 兹比尔1103.68607 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,427-439(2004)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bingham}等人,莱克特。注释计算。科学。311427--439(2004年;Zbl 1103.68607) 全文: 内政部
安德鲁斯、托尼;沙兹·卡迪尔;Rajamani,Sriram K。;雅各布·雷霍夫;谢、伊晨 Zing:开发用于模型检查并发软件的程序结构。 (英语) 兹比尔1099.68583 Gardner,Philippa(编辑)等人,CONCUR 2004–并发理论。第十五届国际会议,2004年8月31日至9月3日,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22940-X/pbk)。计算机科学讲义3170,1-15(2004)。MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Andrews}等人,Lect。注释计算。科学。3170,1-15(2004年;Zbl 1099.68583) 全文: 内政部
科马克·弗拉纳根;沙兹·卡迪尔 软件模型检查事务。 (英语) Zbl 1271.68086号 Dawar,Anuj(编辑),SoftMC 2003。2003年6月26日至27日,加拿大渥太华,软件模型检查研讨会(2003年CAV卫星研讨会)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》89,第3期,518-539(2003)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}和\textit{S.Qadeer},电子。注释Theor。计算。科学。89,第3号,518--539(2003;Zbl 1271.68086) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;沙兹·卡迪尔 线程模块抽象细化。 (英语) Zbl 1278.68175号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 262-274 (2003).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2725、262--274(2003年;Zbl 1278.68175) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;沙兹·卡迪尔 从前历史到后现代的符号模型检验。 (英语) 兹比尔1074.68036 形式方法系统。设计。 23,第3期,303-327(2003).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《形式方法系统》。设计。23,第3号,303--327(2003;Zbl 1074.68036) 全文: 内政部
科马克·弗拉纳根;沙兹·卡迪尔 线程模块模型检查。 (英语) Zbl 1023.68529号 Ball,Thomas(编辑)等人,《模型检查软件》。第十届国际SPIN研讨会,美国俄勒冈州波特兰,2003年5月9日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2648, 213-224 (2003).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}和\textit{S.Qadeer},莱克特。注释计算。科学。2648、213--224(2003;Zbl 1023.68529) 全文: 链接
科马克·弗拉纳根;沙兹·卡迪尔 用于软件验证的谓词抽象。 (英语) Zbl 1323.68371号 2002年1月16日至18日,美国俄勒冈州波特兰市POPL'02,第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-450-9)。191-202(2002年)。MSC公司:第68季度第60季度 68甲15 第68页第19页 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}和\textit{S.Qadeer},摘自:第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'02,波特兰,俄勒冈州,美国,2002年1月16-18日。纽约州纽约市:计算机协会(ACM)。191--202(2002年;Zbl 1323.68371) 全文: 内政部
科马克·弗拉纳根;斯蒂芬·弗伦德(Stephen N.Freund)。;沙兹·卡迪尔 共享内存程序的线程模块化验证。 (英语) Zbl 1077.68606号 Le Métayer,Daniel(编辑),《编程语言和系统》。2002年4月8日至12日,在法国格勒诺布尔举行的第11届欧洲编程研讨会,ESOP 2002,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43363-5)。莱克特。注释计算。科学。2305, 262-277 (2002).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}等人,Lect。注释计算。科学。2305、262--277(2002年;Zbl 1077.68606) 全文: 链接
科马克·弗拉纳根;沙兹·卡迪尔;Sanjit A.Seshia。 多线程程序的模块化检查器。 (英语) Zbl 1010.68501号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 180-194 (2002).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}等人,Lect。注释计算。科学。2404、180--194(2002年;Zbl 1010.68501) 全文: 链接
肯尼思·麦克米兰。;沙兹·卡迪尔;詹姆斯·B·萨克斯。 成分模型检查中的归纳。 (英语) Zbl 0974.68520号 Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 312-327 (2000).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}等人,Lect。注释计算。科学。1855,312--327(2000;Zbl 0974.68520)
托马斯·亨辛格(Thomas A.Henzinger)。;沙兹·卡迪尔;Rajamani,Sriram K。 验证共享内存多处理器系统上的顺序一致性。 (英语) 兹比尔1046.68593 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 301-315 (1999).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1633301--315(1999年;Zbl 1046.68593)
托马斯·亨辛格(Thomas A.Henzinger)。;沙兹·卡迪尔;Rajamani,Sriram K。 假设保证不同时间尺度之间的优化。 (英语) Zbl 1046.68592号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 208-221 (1999).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1633208-221(1999年;兹bl 1046.68592)