@第{zbMATH06087629条，作者={Chatterjee，Satrajit和Kishinevsky，Michael}，标题={从通信结构的高级微体系结构模型自动生成归纳不变量}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={40}，数字={2}，页码={147--169}，年份={2012}，语言={英语}，DOI={10.1007/s10703-011-0134-0}，关键词={68Q60,68M10}，zbMATH={6087629}，Zbl={1247.68162}}