法兰克·德雷维斯;霍夫曼,伯托尔德;马克·米纳斯 基于超边缘替换的图文法预测移位减少分析器的形式化和正确性。 (英语) 兹比尔1423.68230 J.日志。阿尔盖布。方法计划。 104303-341(2019).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,J.Log。阿尔盖布。方法计划。104、303--341(2019年;Zbl 1423.68230) 全文: 内政部 arXiv公司
伯恩哈德·莫勒 地理寻路者和时空代数。 (英语) Zbl 1423.68552号 J.日志。阿尔盖布。方法计划。 104, 274-302 (2019).MSC公司:68单位05 03G15年 03G25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller},J.Log。阿尔盖布。方法计划。104、274--302(2019年;Zbl 1423.68552) 全文: 内政部 链接
王瑞;克里斯滕森,拉尔斯·迈克尔;海因·梅林;沃尔克·斯托尔茨 使用彩色Petri网模型为paxos单命令协议自动生成测试用例。 (英语) Zbl 1423.68319号 J.日志。阿尔盖布。方法计划。 104, 254-273 (2019).MSC公司:68问题85 68个M12 64岁以下 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人,J.Log。阿尔盖布。方法计划。104、254--273(2019年;Zbl 1423.68319) 全文: 内政部 OA许可证
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼 pi-calculus的稳定的无干扰早期操作语义。 (英语) Zbl 1423.68308号 J.日志。阿尔盖布。方法计划。 104, 227-253 (2019).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Hildebrandt}等人,J.Log。阿尔盖布。方法计划。104227-253(2019年;兹比尔1423.68308) 全文: 内政部 OA许可证
拉多斯·奥·克里梅克 基于模式和组合驱动的面向工作流的软件模型逻辑规范的自动生成。 (英语) Zbl 1423.68101号 J.日志。阿尔盖布。方法计划。 104, 201-226 (2019).MSC公司:68号30 03B44型 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek}、J.Log。阿尔盖布。方法计划。104、201——226(2019年;Zbl 1423.68101) 全文: 内政部
安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 使用类型图指定图形语言。 (英语) Zbl 1423.68248号 J.日志。阿尔盖布。方法计划。 104, 176-200 (2019).MSC公司:65年第68季度 03B25号 18B99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,J.Log。阿尔盖布。方法计划。104、176-200(2019年;Zbl 1423.68248) 全文: 内政部 arXiv公司
丰满,细节(编辑);胡安·德·拉腊(编辑) 第十届图形变换国际会议专刊前言。 (英语) Zbl 1423.68034号 J.日志。阿尔盖布。方法计划。 104, 174-175 (2019).MSC公司:68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Plump}(编辑)和\textit{J.de Lara}(编辑),J.Log。阿尔盖布。方法计划。104174-175(2019年;兹比尔1423.68034) 全文: 内政部
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 同步多方会话的精确子类型。 (英语) Zbl 1423.68306号 J.日志。阿尔盖布。方法计划。 104, 127-173 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,J.Log。阿尔盖布。方法计划。104、127--173(2019年;Zbl 1423.68306) 全文: 内政部 arXiv公司
毛里西奥·托罗 生态系统个性化建模的形式语言概述。 (英语) Zbl 1423.68318号 J.日志。阿尔盖布。方法计划。 104, 117-126 (2019).MSC公司:68问题85 92天40分 PDF格式BibTeX公司 XML格式引用 \textit{M.Toro},J.Log。阿尔盖布。方法计划。104117-126(2019年;Zbl 1423.68318) 全文: 内政部 arXiv公司
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯 高阶线性化。 (英语) 兹比尔1423.68315 J.日志。阿尔盖布。方法计划。 104, 86-116 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos},J.Log。阿尔盖布。方法计划。104、86-116(2019年;Zbl 1423.68315) 全文: 内政部 arXiv公司 OA许可证
休伯特·加拉维 嵌套单位Petri网。 (英语) Zbl 1427.68195号 J.日志。阿尔盖布。方法计划。 104, 60-85 (2019). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。104、60-85(2019年;Zbl 1427.68195) 全文: 内政部 哈尔
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 朝向可逆事件结构的分类表示。 (英语) Zbl 1427.68196号 J.日志。阿尔盖布。方法计划。 104, 16-59 (2019). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 18A40型 18B20型 2009年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。104、16-59(2019年;Zbl 1427.68196) 全文: 内政部 arXiv公司
Stephan门尼克;托比亚斯·普雷恩 保持公平:对等和组合。 (英语) 兹比尔1431.68077 J.日志。阿尔盖布。方法计划。 104,1-15(2019). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mennicke}和\textit{T.Prehn},J.Log。阿尔盖布。方法计划。104、1-15(2019年;Zbl 1431.68077) 全文: 内政部