@收款{zbMATH02102740，作者={Bradfield、Julian和Esparza、Javier和Mader、Angelika}，Title={一个有效的线性时间表系统{（\mu\）}-微积分}，BookTitle={自动化，语言和编程。第23届国际学术讨论会，ICALP’96，德国帕德博恩，1996年7月8日至12日。诉讼}，国际标准图书编号={3-540-61440-0}，页码={98--109}，年份={1996}，出版商={柏林：施普林格}，语言={英语}，关键词={03B70,03B44,68Q60}，zbMATH={2102740}，Zbl={1045.03514}}