Kedar S.Namjoshi。；薛安东 WebAssembly的自认证编译框架。 （英语） Zbl 1472.68032号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 127-148 (2021).MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{A.Xue}，Lect。票据计算。科学。12597，127--148（2021；Zbl 1472.68032） 全文： 内政部
Kedar S.Namjoshi。；卢卡斯·塔巴哈拉。 见证安全编译。 （英语） Zbl 07228499号 Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11990, 1-22 (2020).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{L.M.Tabajara}，Lect。票据计算。科学。11990，1-22（2020；Zbl 07228499） 全文： 内政部 arXiv公司
Kedar S.Namjoshi。；茨沃尼米尔·帕夫利诺维奇 程序转换对静态程序分析的影响。 （英语） Zbl 1511.68084号 安德烈亚斯·波德尔斯基（编辑），《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11002, 306-325 (2018).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{Z.Pavlinovic}，莱克特。票据计算。科学。11002306-325（2018年；兹比尔1511.68084） 全文： 内政部
苏古曼·班萨尔；Kedar S.Namjoshi。；亚尼夫·萨阿尔 从时间规范合成异步反应式程序。 （英语） Zbl 1511.68068号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。票据计算。科学。10981, 367-385 (2018).MSC公司：68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bansal}等人，Lect。票据计算。科学。10981367--385（2018年；Zbl 1511.68068） 全文： 内政部
Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 局部微积分的对称约简。 （英语） Zbl 1423.68316号 Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。10806, 379-395 (2018).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。票据计算。科学。10806379--395（2018年；Zbl 1423.68316） 全文： 内政部 arXiv公司
邓朝强；Kedar S.Namjoshi。 保护编译器转换。 （英语） Zbl 1425.68060号 形式方法系统。设计。 53，第2期，166-188（2018）.MSC公司：68N20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Deng}和\textit{K.S.Namjoshi}，《形式方法系统》。设计。53，第2号，166-188（2018年；兹bl 1425.68060） 全文： 内政部
迪米特拉·吉安娜科波卢；Kedar S.Namjoshi。；科琳娜·s·佩斯勒诺。 组合推理。 （英语） Zbl 1392.68249号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。345-383 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}等人，in：模型检查手册。查姆：斯普林格。345--383（2018年；Zbl 1392.68249） 全文： 内政部
Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 参数化合成模型检查。 （英语） Zbl 1420.68136号 Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。96361589-606（2016年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。票据计算。科学。9636589-606（2016年；Zbl 1420.68136） 全文： 内政部
Gjomemo，参宿七；Kedar S.Namjoshi。；Phung、Phu H。；Venkatakrishnan，V.N.公司。；Lenore D.扎克。 从验证到优化。 （英语） Zbl 1432.68067号 D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8931, 300-317 (2015).MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gjomemo}等人，Lect。票据计算。科学。8931，300-317（2015；Zbl 1432.68067） 全文： 内政部
Kedar S.Namjoshi。 模型检入位和位。 （英语） Zbl 1464.68211号 Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129、404-416（2013）。MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}，电子。程序。西奥。计算。科学。（EPTCS）129404--416（2013；Zbl 1464.68211） 全文： arXiv公司 链接
Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 局部对称性和成分验证。 （英语） Zbl 1326.68103号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148348-362（2012）。MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。票据计算。科学。7148348--362（2012年；Zbl 1326.68103） 全文： 内政部
科恩，阿里尔；Kedar S.Namjoshi。；亚尼夫·萨阿尔；Lenore D.扎克。；卡提亚·基西奥娃。 并行化符号组合模型检查算法。 （英语） Zbl 1325.68146号 Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿650446-59（2011）。MSC公司：60年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cohen｝等人，Lect。票据计算。科学。6504、46-59（2011年；Zbl 1325.68146） 全文： 内政部
基达尔·纳姆乔什（编辑）；安德烈亚斯·泽勒（编辑）；阿维·齐夫（编辑） 硬件和软件：验证和测试。2009年10月19-22日在以色列海法举行的HVC 2009第五届国际海法核查会议。修订了选定的论文。 （英语） Zbl 1206.68019号 计算机科学课堂讲稿6405.柏林：施普林格出版社（ISBN 978-3-642-19236-4/pbk）。x、 169页。(2011).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Namjoshi}（编辑）等人，《硬件和软件：验证和测试》。2009年10月19-22日，第五届国际海法核查会议，HVC 2009，以色列海法。修订了选定的论文。柏林：施普林格出版社（2011；Zbl 1206.68019） 全文： 内政部
Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 关于组合推理方法的完备性。 （英语） Zbl 1351.68184号 ACM事务处理。计算。日志。 11，第3号，第16条，22页（2010年）.MSC公司：68问题85 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛K.S.Namjoshi｝和\textit｛R.J.Trefler｝，ACM Trans。计算。日志。11，第3号，第16条，22页（2010年；Zbl 1351.68184） 全文： 内政部
基达尔·纳姆乔什（编辑）；友大义达（编辑） 特刊：用于验证和分析的自动化技术（ATVA 2007）。根据2007年10月22日至25日在日本东京举行的第五届国际研讨会上所作的陈述，选出了一些论文。 （英语） 兹比尔1198.68054 发现的国际期刊。计算。科学。21，第2期，113-256（2010年）。 MSC公司：68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式
科恩，阿里尔；Kedar S.Namjoshi。 全局安全特性的局部证明。 （英语） Zbl 1176.68118号 形式方法系统。设计。 34，第2期，104-125（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}和\textit{K.S.Namjoshi}，《形式方法系统》。设计。34，No.2，104--125（2009；Zbl 1176.68118） 全文： 内政部
克里斯托弗·康韦。；亲爱的，丹尼斯；Kedar S.Namjoshi。；克拉克·巴雷特 指针分析、条件稳健性和证明无错误。 （英语） Zbl 1149.68348号 Alpunte，María（编辑）等人，《静态分析》。第15届国际研讨会，2008年SAS，西班牙巴伦西亚，2008年7月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079，62-77（2008）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Conway}等人，Lect。票据计算。科学。5079，62-77（2008年；兹bl 1149.68348） 全文： 内政部
科恩，阿里尔；Kedar S.Namjoshi。 并发程序线性时间特性的局部证明。 （英语） Zbl 1155.68363号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123149-161（2008）。MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}和\textit{K.S.Namjoshi}，莱克特。票据计算。科学。5123149-161（2008年；Zbl 1155.68363） 全文： 内政部
Kedar S.Namjoshi。（编辑）；友大义达（编辑）；东野东彦（编辑）；冈村义雄（编辑） 用于验证和分析的自动化技术。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。 （英语） Zbl 1138.68006号 计算机科学课堂讲稿4762.柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。xiv，566页。(2007).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}（编辑）等人，验证和分析自动化技术。第五届国际研讨会，亚洲电视2007，日本东京，2007年10月22-25日。诉讼程序。柏林：施普林格出版社（2007；Zbl 1138.68006） 全文： 内政部
Kedar S.Namjoshi。 参数化系统分析中的对称性和完备性。 （英语） Zbl 1132.68476号 Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349299-313（2007）。MSC公司：60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}，莱克特。票据计算。科学。4349，299--313（2007；Zbl 1132.68476） 全文： 内政部
科恩，阿里尔；Kedar S.Namjoshi。 全局安全特性的局部证明。 （英语） Zbl 1135.68470号 Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590，55-67（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}和\textit{K.S.Namjoshi}，莱克特。票据计算。科学。4590、55-67（2007年；Zbl 1135.68470） 全文： 内政部
艾默生·E·艾伦（编辑）；Kedar S.Namjoshi。（编辑） 验证、模型检查和抽象解释。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。 （英语） Zbl 1097.68002号 计算机科学课堂讲稿3855.柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。xi，第443页。(2006).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}（编辑）和\textit{K.S.Namjoshi}（主编），验证、模型检查和抽象解释。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（2006；Zbl 1097.68002） 全文： 内政部
克里斯托弗·康韦。；Kedar S.Namjoshi。；亲爱的，丹尼斯；斯蒂芬·爱德华兹。 安全特性过程间分析的增量算法。 （英语） Zbl 1081.68615号 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576449-461（2005）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Conway}等人，Lect。票据计算。科学。3576、449--461（2005；Zbl 1081.68615） 全文： 内政部
亲爱的，丹尼斯；Kedar S.Namjoshi。 自动化作为抽象。 （英语） 兹比尔1112.68088 Cousot，Radhia（编辑），验证、模型检查和抽象解释。第六届国际会议，2005年VMCAI，法国巴黎，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学讲座笔记3385，216-232（2005）。MSC公司：60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{K.S.Namjoshi}，莱克特。票据计算。科学。3385216--232（2005；Zbl 1112.68088） 全文： 内政部
Kedar S.Namjoshi。 模型检查中有效的可检查、基于证明的真空公式。 （英语） Zbl 1103.68075号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，57-69（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}，莱克特。票据计算。科学。3114，57--69（2004；Zbl 1103.68075） 全文： 内政部
Kedar S.Namjoshi。 分支时间属性的抽象。 （英语） Zbl 1278.68186号 Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。票据计算。科学。2725, 288-300 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛K.S.Namjoshi｝，Lect。票据计算。科学。2725、288--300（2003年；Zbl 1278.68186） 全文： 内政部
尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 合成推理的抽象模式。 （英语） Zbl 1274.68217号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。票据计算。科学。2761, 431-445 (2003).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人，Lect。票据计算。科学。2761431--445（2003年；Zbl 1274.68217） 全文： 内政部
亲爱的，丹尼斯；Kedar S.Namjoshi。 通过谓词抽象和模型检查进行形状分析。 （英语） Zbl 1022.68578号 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2575, 310-323 (2003).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{K.S.Namjoshi}，莱克特。票据计算。科学。2575310-323（2003年；Zbl 1022.68578） 全文： 链接
Kedar S.Namjoshi。 通过抽象提升时间证明。 （英语） Zbl 1022.68082号 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2575, 174-188 (2003).MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}，莱克特。票据计算。科学。2575174--188（2003年；Zbl 1022.68082） 全文： 链接
尼娜·阿姆拉；艾默生·E·艾伦；Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 异步系统模块化推理的可视化规范。 （英语） Zbl 1037.68506号 Peled，Doron A.（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2002》。第22届IFIP工作组6.1国际会议，2002年11月11日至14日，美国德克萨斯州休斯顿。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00141-7/pbk）。莱克特。票据计算。科学。2529, 226-242 (2002).MSC公司：68M10个 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛N.Amla｝等人，Lect。票据计算。科学。2529226--242（2002年；Zbl 1037.68506） 全文： 链接
Kedar S.Namjoshi。 认证模型检查员。 （英语） Zbl 0996.68105号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2102, 2-13 (2001).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}，莱克特。票据计算。科学。2102年2月13日（2001年；Zbl 0996.68105）
尼娜·阿姆拉；艾默生·E·艾伦；罗伯特·P·库尔珊（Robert P.Kurshan）。；基达尔·纳姆乔什 RTDT：用于同步时序图的高效模型检查的前端。 （英语） Zbl 0991.68641号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2102, 387-390 (2001).MSC公司：68单位99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人，Lect。票据计算。科学。2102387-390（2001年；Zbl 0991.68641） 全文： 链接
尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 同步时序图的基于假设保证的组合推理。 （英语） 兹比尔0978.68537 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 465-479 (2001).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人，Lect。票据计算。科学。2031，465--479（2001；Zbl 0978.68537） 全文： 链接
Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 自动抽象的语法程序转换。 （英语） Zbl 0974.68524号 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1855, 435-449 (2000).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.P.Kurshan}，莱克托。票据计算。科学。1855435-449（2000年；Zbl 0974.68524）
Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 循环定义的有效分析。 （英语） Zbl 1046.68604号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 394-405 (1999).MSC公司：60年第68季度 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.P.Kurshan}，莱克托。票据计算。科学。1633、394--405（1999年；Zbl 1046.68604）
Manolios，Panagiotis公司；基达尔·纳姆乔什；罗伯特·萨默斯 将定理证明和模型检查与基础良好的互模拟联系起来。 （英语） Zbl 1046.68602号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 369-379 (1999).MSC公司：60年第68季度 68吨15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Manolios}等人，Lect。票据计算。科学。1633369-379（1999年；Zbl 1046.68602）
艾默生·E·艾伦；Kedar S.Namjoshi。 非确定性无限状态系统的模型检验。 （英语） Zbl 0945.68523号 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。70-80 (1998).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{K.S.Namjoshi}，in：第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳州印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。70-80（1998年；Zbl 0945.68523）