@InCollection{zbMATH01796123，作者={加斯丁、保罗和奥多、丹尼斯}，标题＝｛快速｛LTL｝到｛B｛\“u｝chi｝自动机翻译｝，BookTitle={计算机辅助验证。第13届国际会议，CAV 2001，巴黎，法国，2001年7月18日至22日。诉讼}，国际标准图书编号={3-540-42345-1}，页码={53--65}，年份={2001}，出版商={柏林：施普林格}，语言={英语}，关键词={68Q60,68Q45}，URL={link.springer.de/link/service/series/0558/bibs/2102/20053}，zbMATH={1796123}，Zbl={0991.68044}}