罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
罗伯塔·戈里;弗兰西斯卡,李维 基于抽象解释的生物环境时间特性验证。 (英语) Zbl 1205.68244号 Inf.计算。 208,编号8,869-921(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi},Inf.Compute。208,第8号,869--921(2010;Zbl 1205.68244) 全文: 内政部
亚历山大·拉比诺维奇 具有不可通约距离的时间逻辑是不可判定的。 (英语) 邮编1128.03009 Inf.计算。 205,第5期,707-715(2007). 审核人:托马斯·斯图德(伯尔尼) MSC公司:03B44号 03天35分 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。205,第5号,707--715(2007;Zbl 1128.03009) 全文: 内政部
雷切尔·本·埃利亚胡;梅纳赫姆·马吉多 用于证明拓扑一般执行属性的时态逻辑。 (英语) Zbl 0861.03024号 Inf.计算。 124,第2期,127-144(1996). 审核人:M.Gabbrielli(比萨) MSC公司:03B70号 03B45 60年第68季度 2010年第68季度 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu}和\textit{M.Magidor},Inf.Compute。124,第2号,127--144(1996;Zbl 0861.03024) 全文: 内政部