@收款{zbMATH01487495，作者={He，Jifeng}，标题={协同设计的行为模型}，图书标题=｛FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。在2卷}中，国际标准图书编号（ISBN）={3-540-66587-0；3-440-66588-9}，页码={1420--1438}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={03B70,03B44,68M99}，zbMATH={1487495}，Zbl={0948.03511}}