米罗斯拉夫·乔迪尔；安东·库切拉 PCTL定量片段的可满足性问题。 （英语） 兹伯利07753277 J.计算。系统。科学。 139，文章ID 103478，16 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}和\textit{A.Kučera}，J.Compute。系统。科学。139，文章ID 103478，16 p.（2024；Zbl 07753727） 全文： 内政部
米罗斯拉夫·乔迪尔；安东·库切拉 PCTL定量片段的可满足性问题。 （英语） Zbl 07530230号 Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12867, 149-161 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}和\textit{A.Kučera}，莱克特。票据计算。科学。12867、149--161（2021；Zbl 07530230） 全文： 内政部 arXiv公司
奥尔纳库普弗曼；阿米尔·普努利；莫舍·瓦尔迪。 一次和为所有人. （英语） Zbl 1245.03022号 J.计算。系统。科学。 78，第3期，981-996（2012）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，《计算杂志》。系统。科学。78，第3号，981-996（2012；Zbl 1245.03022） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳库普弗曼；鲁帕克·马朱姆达尔 关于（mu）-演算的普遍片段和存在片段。 （英语） Zbl 1088.68106号 西奥。计算。科学。 354，编号2173-186（2006）.MSC公司：60年第68季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Theor。计算。科学。354，编号2173-186（2006年；兹bl 1088.68106） 全文： 内政部
阿莱西奥·洛穆西奥；马雷克·塞尔戈特 比特传输问题中违规、错误恢复和执行的形式化。 （英语） Zbl 1076.68074号 J.应用。日志。 2，第1期，93-116（2004）.MSC公司：68T27型 68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{M.Sergot}，J.Appl。日志。2，编号1，93--116（2004；Zbl 1076.68074） 全文： 内政部