@InCollection{zbMATH06928586，作者={Ka{'z}mierczak，Piotr and Pedersen，Truls and{AA}gotnes，Thomas}，Title={{{\textsc}}{NorMC}：规范遵从时态逻辑模型检查器}，BookTitle={STAIRS 2012。2012年8月27日至28日在法国蒙彼利埃举行的第六届启动人工智能研究者研讨会会议记录，国际标准图书编号={978-1-61499-095-6；978-1-6499-096-3}，页码={168--179}，年份={2012}，出版商={阿姆斯特丹：IOS出版社}，语言={英语}，关键词={68Q60,03B44,68T42}，URL={ebooks.iospress.nl/volumearticle/6913}，zbMATH={6928586}，Zbl={1394.68232}}