@第{zbMATH06244109条，作者＝{Ebnenasir，Ali和Hajisheykhi，Reza和Kulkarni，Sandeep S.}，Title={促进事务级{SystemC}程序}中的容错设计，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={496}，页码={50--68}，年份={2013}，语言={英语}，DOI={10.1016/j.tcs.2012.1010}，关键词={68M15,68M14}，zbMATH={6244109}，Zbl={1294.68044}}