@会议记录{braddil_et_al:LIPIcs.FSTTCS.2012.474,author={Braddil、Tomas和Hermanns、Holger和Krcal、Jan和Kretinsky、Jan and Rehak、Vojtech},title={{开放交互马尔可夫链的验证}},booktitle={IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)},页数={474--485},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-939897-47-7},ISSN={1868-8969},年份={2012},体积={18},editor={D'Souza、Deepak和Radhakrishnan、Jaikumar和Telikepalli、Kavitha},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.474},URN={URN:nbn:de:0030-drops-38826},doi={10.4230/LIPIcs.FSTTCS.2012.474},annote={关键词:IMC,合成验证,合成,有时限可达性,离散化}}