@收款{zbMATH05527882，作者＝{Mizuni，R.和Salah，A.和Kolahi，S.和Dssouli，R.}，标题={使用同步和模型检查的用例组合}，BookTitle={网络和分布式系统的形式化技术--FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼}，国际标准图书编号={978-3-540-46219-4}，页码={292--306}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11888116_22}，关键词={68Q60,68Q85}，zbMATH={5527882}，Zbl={1225.68122}}