×

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

最新的 引文 关联
哈拉尔德·森德加德

字符串抽象域及其组合。 （英语） Zbl 1521.68036号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13290, 1-15 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Söndergaard}，莱克特。票据计算。科学。13290，1-15（2022；Zbl 1521.68036）
全文： 内政部
卢卡·内格里尼；文森佐·阿塞里；皮埃特罗·费拉拉；阿戈斯蒂诺·科尔特斯

字符串静态分析的孪生自动机和正则表达式。 （英语） Zbl 1472.68039号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 267-290 (2021).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Negrini}等人，Lect。票据计算。科学。12597，267--290（2021；Zbl 1472.68039）
全文： 内政部 arXiv公司
于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。

使用多轨迹自动机进行关系字符串验证。 （英语） Zbl 1297.68280号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482290-299（2011）。
MSC公司：68瓦32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。票据计算。科学。6482290-299（2011年；Zbl 1297.68280）
全文： 内政部
于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。

符号字符串验证：结合字符串分析和大小分析。 （英语） Zbl 1234.68269号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505322-336（2009）。
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。票据计算。科学。5505322-336（2009年；Zbl 1234.68269）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件