@第{zbMATH06038292条，作者={Bonchi、Filippo和Bonsangue、Marcello和Boreale、Michele和Rutten、Jan和Silva、Alexandra}，Title={线性加权自动机的联合观点}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积＝{211}，页码={77--105}，年份={2012}，语言={英语}，DOI={10.1016/j.ic.2011.12.002}，关键词={68Q70}，zbMATH={6038292}，Zbl={1279.68235}}