@第{zbMATH05499354条，作者={Janowska、Agata和Janowski、Pawe和Wr、Dobies、，Title={中间语言到离散数据时间自动机的转换}，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积={85}，数字={1-4}，页码={235--248}，年份={2008}，语言={英语}，关键词={68Q45,68Q60}，zbMATH={5499354}，Zbl={1158.68020}}