@第{zbMATH06478324条，作者={Taha，Safouan和Julliand，Jacques和Dadeau，Fr{\'e}d{\'e}ric和Castillos，Kalou Cabrera和Kanso，Bilal}，Title={基于组合自动机的语义，并保留用于测试属性模式的转换规则}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={27}，数字={4}，页码={641--664}，年份={2015年}，语言={英语}，DOI={10.1007/s00165-014-0328-5}，关键词={68Q55,68Q45,68Q60}，zbMATH={6478324}，Zbl={1338.68164}}