尤金·亚萨林;迈索尔(Mysore)、文卡特斯(Venkatesh P.)。;阿米尔·普努利;杰拉尔多·施奈德 低维混合系统——可判定、不可判定、未知。 (英文) Zbl 1279.68127号 Inf.计算。 211, 138-159 (2012).MSC公司:65年第68季度 2005年第68季度 37B99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。211138-159(2012年;兹bl 1279.68127) 全文: 内政部
文卡特什迈索尔;阿米尔·普努利 细化混合自动机的不可判定边界。 (英文) Zbl 1172.68521号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821261-272(2005)。MSC公司:65年第68季度 03天35分 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mysore}和\textit{A.Pnueli},莱克特。注释计算。科学。3821、261--272(2005;Zbl 1172.68521) 全文: 内政部