@第{zbMATH07090653条，作者={Keiren、Jeroen J.A.和Fontana、Peter和Cleaveland、Rance}，Title={对“时间自动机的{A}动物园”}的更正，FJournal={ACM计算调查}，日志={ACM计算调查}，ISSN={0360-0300}，体积={50}，数字＝｛3｝，页码={8}，注={Id/No 42}，年份={2017年}，语言={英语}，DOI={10.1145/3078809}，关键词={68Q45,68-02}，zbMATH＝{7090653}，Zbl={1416.68101}}