@收款{zbMATH06146449，作者={Bouyer、Patricia和Markey、Nicolas和Ouaknine、Jo和Schnoebelen、Philippe和Worrell、James}，标题={故障通道机器终止时}，BookTitle={STACS 2008。第25届计算机科学理论方面国际研讨会，法国波尔多，2008年2月21-23日，国际标准图书编号={978-3-939897-06-4}，页码={121--132}，年份={2008}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.STACS.2008.1339}，关键词={68Q60,03B44,68Q25}，URL={subs.emis.de/LIPIcs/frontdoor_45a6.html}，zbMATH={6146449}，Zbl={1259.68120}}