×

找到10个文档（结果1-10）

最新的 引文 关联
阿利斯泰尔·斯图尔特;库沙·埃特萨米;米哈利斯·亚纳卡基斯

单调多项式系统上牛顿方法的上界，概率单计数器自动机的P时间模型检验。 （英语） Zbl 1426.68177号

美国临床医学杂志 62，第4号，第30条，33页（2015年）.
MSC公司：第68季度第60季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Stewart}等人，J.ACM 62，第4号，第30条，33页（2015；Zbl 1426.68177）
全文： 内政部 arXiv公司
奥尔纳库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯

有界系统和环境的时间合成。 （英语） 兹比尔1230.68144

Schwentick，Thomas（编辑）等人，STACS 2011。2011年3月10日至12日，第28届计算机科学理论方面国际研讨会，德国多特蒙德。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-25-5）。LIPIcs–莱布尼茨国际信息学会议录9615-626，仅电子版（2011年）。
MSC公司：第68季度第60季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。9615--626（2011年；Zbl 1230.68144）
全文： 内政部 链接
库沙·埃特萨米;米哈利斯·亚纳卡基斯

递归概率状态机的算法验证。 （英语） Zbl 1087.68054号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440253-270（2005）。
MSC公司：第68季度第60季度 65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。注释计算。科学。3440253--270（2005年；Zbl 1087.68054）
全文： 内政部
拉杰夫·阿鲁尔;库沙·埃特萨米;米哈利斯·亚纳卡基斯

递归状态机分析。 （英语） Zbl 0991.68535号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 207-220 (2001).
MSC公司：65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Alur｝等人，Lect。注释计算。科学。2102207-220（2001年；兹bl 0991.68535）
全文： 链接
奥尔纳库普弗曼;罗伯特·P·库尔珊（Robert P.Kurshan）。;米哈利斯·亚纳卡基斯

存在还原层次结构。 （英语） Zbl 0909.68119号

尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1414, 327-340 (1998).
MSC公司：65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。1414327--340（1998年；Zbl 0909.68119）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段