编辑配置文件(在新选项卡中打开) 卡卢·卡布雷拉·卡斯蒂略 合著者距离 作者ID: 卡鲁卡布雷拉城堡 发布日期: 卡卢·卡布雷拉·卡斯蒂略 已编制索引的文档: 1出版物自2015年起 合著者: 4位合著者具有1联合出版物 32位合作作者 合著者 0 单作者的 1 弗雷德里克·达多 1 雅克·朱利安德 1 比拉尔·坎索 1 萨伏安·塔哈 系列 1 计算的形式方面 字段 1 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 兹比尔1338.68164 萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔·坎索 1 2015 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 兹比尔1338.68164 萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔·坎索 1 2015 5位作者引用 1 卡卢·卡布雷拉·卡斯蒂略 1 弗雷德里克·达多 1 雅克·朱利安德 1 比拉尔·坎索 1 萨伏安·塔哈 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文