罗伯特·P·库尔珊（Robert P.Kurshan）。;弗拉基米尔·莱文;马吕斯·米娜;多龙·贝利德;Yenigün，Hüsnü 结合软件和硬件验证技术。 （英语） Zbl 1020.68054号 表格方法系统。设计。 21，第3期，251-280（2002）.MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}等人，《形式方法系统》。设计。21，第3号，251--280（2002；Zbl 1020.68054） 全文： 内政部
哈娜·乔克勒;奥尔纳·库普弗曼;罗伯特·P·库尔珊（Robert P.Kurshan）。;莫舍·瓦尔迪。 一种在模型检查中实现覆盖的实用方法。 （英语） Zbl 0991.68042号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2102, 66-78 (2001).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人，莱克特。注释计算。科学。2102、66--78（2001年；Zbl 0991.68042） 全文： 链接
罗伯特·P·库尔珊（Robert P.Kurshan）。 程序验证。 （英语） Zbl 1040.68060号 美国数学通告。Soc公司。 47，第5期，534-545（2000）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}，《美国数学通告》。Soc.47，No.5，534--545（2000；Zbl 1040.68060） 全文： 链接
库尔山，R.P。 商业环境中的正式验证。 （英语） 兹比尔0958.68513 Inan，M.Kemal（编辑）等人，《数字和混合系统的验证》。《北约ASI会议记录》，土耳其安塔利亚，1997年5月26日至6月6日。柏林：施普林格。北约ASI系列。，序列号。F、 计算。系统。科学。第170220-230页（2000年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}，北约ASI Ser。，序列号。F、 计算。系统。科学。170220-230（2000年；Zbl 0958.68513）
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）
奥尔纳·库普弗曼;罗伯特·P·库尔珊（Robert P.Kurshan）。;米哈利斯·亚纳卡基斯 存在还原层次结构。 （英语） Zbl 0909.68119号 尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1414, 327-340 (1998).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，Lect。注释计算。科学。1414327--340（1998年；Zbl 0909.68119）
库尔山，R.P。 配位分析的同态化简。 （英语） Zbl 0839.68063号 Kumar，P.R.（编辑）等人，《离散事件系统、制造系统和通信网络》。基于1992-93年在美国明尼苏达州明尼阿波利斯市明尼苏打大学举行的IMA控制理论课程不可分割的一个研讨会的会议记录。IMA卷数学。申请。73, 105-147 (1995).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}，IMA卷数学。申请。73、105-147（1995年；Zbl 0839.68063）
库尔山，R.P。;麦克米兰，K.L。 过程的结构归纳定理。 （英语） 兹伯利0828.68096 Inf.计算。 117，第1期，第1-11页（1995年）.MSC公司：60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}和\textit{K.L.McMillan}，Inf.Compute。117，编号1，1--11（1995；Zbl 0828.68096） 全文： 内政部
库尔山，R.P。 验证的复杂性。 （英语） 兹比尔1345.68220 1994年5月23日至25日，加拿大蒙特利尔，STOC'94，第26届ACM计算理论年会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-663-8）。365-371 (1994).MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.P.Kurshan｝，载：第26届美国计算机学会计算理论年度研讨会论文集，STOC'94，加拿大蒙特利尔，1994年5月23日至25日。纽约州纽约市：计算机协会（ACM）。365-371（1994年；Zbl 1345.68220） 全文： 内政部
E.M.克拉克。;I.A.布朗。;库尔山，R.P。 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 （英语） Zbl 0759.68063号 CAAP’90，程序。第15届Colloq.，哥本哈根/丹麦，1990年，法律。注释计算。科学。431, 103-116 (1990).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，Lect。注释计算。科学。431103--116（1990年；Zbl 0759.68063）