托马斯·库利克;布里杰什·多戈尔;彼得·戈姆·拉森;马其顿,雨果·丹尼尔;史蒂夫·施耐德;彼得·沃根森(Peter W.V.Tran-Jörgensen)。;詹姆斯·伍德科克 安全性的实用形式化方法综述。 (英语) Zbl 1522.68089号 正式Asp。计算。 34,第1号,第5号文件,第39页(2022).MSC公司:68平方米25 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kulik}等人,正式Asp。计算。34,第1号,第5号论文,39页(2022年;Zbl 1522.68089) 全文: 内政部 arXiv公司
布里杰什·多戈尔(编辑);埃琳娜·特鲁比西纳(编辑) iFM 2020特别部分介绍。 (英语) 兹比尔1522.68025 正式Asp。计算。 34,第1期,第1号论文,第1页(2022年).MSC公司:68-06 68新元 00亿Bxx PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol(编辑)和\textit{E.Troubitsyna}(编辑),正式Asp。计算。34,第1期,第1号论文,第1页(2022年;Zbl 1522.68025) 全文: 内政部
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 验证持久并发数据结构的正确性:一种完善的方法。 (英语) Zbl 1519.68133号 正式Asp。计算。 33,编号4-5,547-573(2021).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。33,编号4--5,547--573(2021;Zbl 1519.68133) 全文: 内政部
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;舍尔霍恩,格哈德;奥列格·特拉夫金;海克·卫尔海姆 不透明的机械化证明:两种技术的比较。 (英语) Zbl 1395.68186号 正式Asp。计算。 30,第5期,597-625(2018).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。30,第5号,597--625(2018;Zbl 1395.68186) 全文: 内政部
布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 (英语) 兹比尔1342.68060 正式Asp。计算。 26,第3期,563-589(2014).MSC公司:第68页第19页 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,《正式Asp》。计算。26,第3号,563--589(2014;Zbl 1342.68060) 全文: 内政部 链接
布里杰什·多戈尔;阿扬·J·穆伊(Arjan J.Mooij)。 简化基于进程的并发程序派生。 (英语) Zbl 1141.68025号 正式Asp。计算。 20,第2期,141-160(2008).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{A.J.Mooij},正式Asp。计算。20,第2号,141--160(2008;Zbl 1141.68025) 全文: 内政部 链接