奥尔纳·库普弗曼;莎莱·申瓦尔德 有容量的自动机和系统。 （英语） Zbl 1435.68175号 Inf.计算。 269，文章ID 104451，15 p.（2019）.MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald}，Inf.Comput。269，文章ID 104451，15 p.（2019；Zbl 1435.68175） 全文： 内政部
奥尔纳·库普弗曼;莎莱·申瓦尔德 关于容量自动机的容量。 （英语） Zbl 1443.68089号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9618, 307-319 (2016).MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald}，莱克特。注释计算。科学。9618、307--319（2016；Zbl 1443.68089） 全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 数据参数化系统仿真的博弈论方法。 （英语） 兹比尔1448.68300 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 348-363 (2014).MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。8837，348--363（2014；Zbl 1448.68300） 全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 一种自动机理论方法，用于推理参数化系统和规范。 （英语） 兹比尔1410.68228 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 397-411 (2013).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。8172397--411（2013；Zbl 1410.68228） 全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 使用参数化原子命题的模型检查系统和规范。 （英语） 兹比尔1374.68288 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561122-136（2012）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。7561、122--136（2012年；Zbl 1374.68288） 全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 无限字母表上的变量自动机。 （英语） Zbl 1284.68352号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。第四届国际会议，LATA 2010，德国特里尔，2010年5月24日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。计算机科学课堂讲稿6031561-572（2010）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。6031561--572（2010年；Zbl 1284.68352） 全文： 内政部