戴安·塔巴科夫;莫舍·瓦尔迪。 经典自动机结构的实验评估。 （英语） Zbl 1143.68443号 Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835396-411（2005）。MSC公司：65年第68季度 60年第68季度 68瓦05 PDF格式BibTeX公司 XML格式引用 \textit{D.Tabakov}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。3835396--411（2005年；Zbl 1143.68443） 全文： 内政部
拉杰夫·阿鲁尔;马杜苏丹，P。;南黄弘 通过学习假设进行符号成分验证。 （英语） 兹比尔1081.68601 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576548-562（2005）。MSC公司：60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。注释计算。科学。3576、548--562（2005；Zbl 1081.68601） 全文： 内政部