@收款{zbMATH07196605，作者={Rosenmann，Amnon}，标题={关于时间自动机之间的距离}，BookTitle={时间系统的正式建模和分析。第17届国际会议，FORMATS 2019，荷兰阿姆斯特丹，2019年8月27日至29日。诉讼}，国际标准图书编号={978-3-030-29661-2；978-3-0.30-29662-9}，页码={199--215}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-030-29662-9_12}，关键词={68Q45}，zbMATH={7196605}，Zbl={1434.68287}}