×

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

最新的 引文 关联
马凯·曼;克拉克·巴雷特

同步硬件中深层缺陷查找的部分降阶。 （英语） Zbl 1507.68194号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 367-386 (2020).
MSC公司：60年第68季度 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{M.Mann}和\textit{C.Barrett}，莱克特。注释计算。科学。12078，367--386（2020；Zbl 1507.68194）
全文： 内政部
OA许可证
克里斯蒂安·达克斯;费利克斯·克莱特克;斯特凡·洛伊

口吃变异正则属性的规范语言。 （英语） Zbl 1262.68114号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，244-254（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dax}等人，Lect。注释计算。科学。5799，244--254（2009；Zbl 1262.68114）
全文： 内政部 链接
贝内迪克特·博利格;曼纽拉·利迪亚·格林德;彼得·哈贝梅尔

并发递归程序的可实现性。 （英语） 兹比尔12346.8071

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，410-424（2009）。
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。5504410--424（2009年；Zbl 1234.68071）
全文： 内政部
约阿希姆·克莱因;克里斯特尔·拜尔

确定性自动机构造中的即兴断断续续。 （英语） Zbl 1139.68366号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，51-61（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.克莱因}和\textit{C.拜尔}，莱克特。注释计算。科学。4783、51-61（2007年；Zbl 1139.68366）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件