@诉讼中{kupferman_et_al:LIPIcs.CSL.2015.175,author={库普夫曼、奥尔纳和瓦尔迪、加尔},title={{关于相对和概率有限抗衡}},booktitle={第24届EACSL计算机科学逻辑年会(CSL 2015)},页数={175--192},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-939897-90-3},ISSN={1868-8969},年份={2015年},体积={41},editor={Kreutzer,Stephan},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/enties/document/10.4230/LIPIcs.CSL.2015.175},URN={URN:nbn:de:0030-drops-54147},doi={10.4230/LIPIcs.CSL.2015.175},annote={关键词:模型检查,反例,安全,活性,概率,欧米伽规则语言}}