@第{zbMATH05579074条，作者＝｛Kl｛\“u”ppelholz，Sascha和Baier，Christel｝，标题={基于信道的组件连接器的符号模型检查}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={74}，数字={9}，页码={688--701}，年份={2009}，语言={英语}，DOI={10.1016/j.scico.2008.09.020}，关键词={68Q60}，zbMATH={5579074}，Zbl={1167.68035}}