@会议记录{larsen_et_al:LIPIcs.FSTTCS.2016.25,author={Larsen,Kim G.和Mardare,Radu和Xue,Bingtian},title={{概率Mu-Calculus:判定性和完全公理化}},booktitle={第36届IARCS软件技术与理论计算机科学基础年会(FSTTCS 2016)},页数={25:1--25:18},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-027-9},ISSN={1868-8969},年份={2016年},体积={65},编辑={Lal,Akash和Akshay,S.和Saurabh,Saket和Sen,Sandeep},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.25},URN={URN:nbn:de:0030-drops-68607},doi={10.4230/LIPIcs.FSTTCS.2016.25},annote={关键词:马尔可夫过程,概率模态多演算,n元(in-)方程模式,可满足性,公理化}}