@第{zbMATH06066136条，作者={Cimatti、Alessandro和Narasamdya、Iman和Roveri、Marco}，标题={使用显式调度程序和符号线程检查软件模型}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={8}，数字={2}，页码={42}，注={Id/No 18}，年份={2012}，语言={英语}，DOI={10.2168/LMCS-8（2:18）2012}，关键词={68N30,68Q60}，zbMATH={6066136}，Zbl={1254.68074}}