×

找到13个文档（结果1-13）

最新的 引文 关联
库尔根·科尼;海克·卫尔海姆

关于序列化的正确性问题。 （英语） Zbl 07500637号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 47-64 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.König}和\textit{H.Wehrheim}，莱克特。注释计算。科学。12819，47-64（2021；Zbl 07500637）
全文： 内政部
埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆

定义和验证持久不透明度：持久软件事务内存的正确性。 （英语） Zbl 1511.68072号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 39-58 (2020).
MSC公司：68号30 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{E.Bila}等人，Lect。注释计算。科学。12136，39-58（2020年；兹比尔1511.68072）
全文： 内政部 arXiv公司
约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆

验证事务互斥锁的不透明度。 （英语） Zbl 1427.68190号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 161-177 (2015).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Derrick}等人，Lect。注释计算。科学。9109161--177（2015；Zbl 1427.68190）
全文： 内政部 链接
埃斯特勒·H·克里斯蒂安;海克·卫尔海姆

合金作为重构检查器？ （英语） Zbl 1283.68205号

Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214，331-357（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.C.Estler}和\textit{H.Wehrheim}，电子。注释Theor。计算。科学。214、331--357（2008年；Zbl 1283.68205）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件