@会议记录{esparza_et_al:LIPIcs.FSTTCS.2016.27，author={Esparza，Javier and Ganty，Pierre and Leroux，J’{e} 第页\^{o} 我和Rupak Majumdar，title={{模型检查填充协议}}，booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}，页码＝{27:1-27:14}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-027-9}，ISSN={1868-8969}，年份={2016年}，体积={65}，editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.27},URN={URN:nbn:de:0030-drops-68628}，doi={10.4230/LIPIcs.FSTTCS.2016.27}，annote={关键词：参数化系统，人口协议，概率模型检查，概率线性时间规范，可判定性}}
