@在集合{zbMATH06211928中，作者={库姆西、艾哈迈德和韦德拉奥戈、吕西安}，Title={一种转换时间自动机的新方法}，BookTitle={巴西正式方法研讨会论文集（SBMF 2004），巴西累西腓，2004年11月29日至12月1日}，页码={101--128}，年份={2005}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68Q45,68Q60}，URL={www.sciencedirect.com/science/article/pii/S1571066105002173}，zbMATH={6211928}，Zbl={1272.68211}}