@收款{zbMATH06046578，作者={Dimitrova，Rayna和Finkbeiner，Bernd和Kov{'a}-cs，M{'a{'e}和Rabe，Markus N.和Seidl，Helmut}，标题={反应系统中的模型检查信息流}，BookTitle={验证、模型检查和抽象解释。第13届国际会议，VMCAI 2012，费城，宾夕法尼亚州，美国，2012年1月22日至24日。诉讼程序}，国际标准图书编号={978-3-642-27939-3}，页码={169--185}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-27940-9_12}，关键词={68Q60,03B44,68Q85}，URL={eprints.whiterose.ac.uk/156479/7/vmcai12.pdf}，zbMATH={6046578}，Zbl={1326.68182}}