@InCollection{zbMATH05954722，作者={Basset，Nicolas and Asarin，Eugene}，Title={瘦和粗定时正则语言}，BookTitle={时间系统的形式化建模和分析。第九届国际会议，FORMATS 2011，丹麦奥尔堡，2011年9月21日至23日。诉讼}，国际标准图书编号={978-3-642-24309-7}，页码={113--128}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-24310-3_9}，关键词={68Q45}，URL={hal-upec-upem.archives-ouvertes.fr/hal-00793583/file/FORMATS11.pdf}，zbMATH={5954722}，Zbl={1348.68091}}