@收款{zbMATH06678474，作者={Br{\'a}zdil，Tom{\'a}{\v{s}}和Hermanns，Holger和Kr{\v}c}{\'a}l，Jan和K{\v{r}}et{\'{i}}nsk{\'y}，Jan and{\v}r}eh{\'a.}K，Vojt{\v＊e}ch}，标题={开放交互式{马尔可夫}链的验证}，BookTitle={IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第32届会议上的演示文稿选出的论文，国际标准图书编号={978-3-939897-47-7}，页码={474--485}，年份={2012}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSTTCS.2012.474}，关键词={68Q60,60J20,60J28,68Q87}，zbMATH＝{6678474}，Zbl={1354.68170}}