@收款{zbMATH06051095，作者={Barbot，Beno{^{i}}t和Haddad，Serge和Picaronny，Claudine，标题={用于统计模型检查的耦合和重要性抽样}，BookTitle={用于系统构建和分析的工具和算法。2012年第18届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2012，爱沙尼亚塔林，2012年3月24日至4月1日。诉讼}，国际标准图书编号={978-3-642-28755-8}，页码={331--346}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-28756-5_23}，关键词={68Q60,68Q87}，zbMATH={6051095}，Zbl={1352.68143}}