×
编辑配置文件（在新选项卡中打开）

克拉拉·贝纳克·厄尔

合著者距离
作者ID: 贝纳克·埃里·克拉拉“Benac Earle，Clara”最近发表的zbMATH文章
发布日期： 克拉拉·贝纳克·厄尔;克拉拉·贝纳克·艾尔;克拉拉·贝纳克·厄尔
已编制索引的文档： 4出版物自2002年起
合著者： 6位合著者具有4联合出版物
52位合作作者
全部的 前5名

合著者

0 单作者的
三 拉尔斯·弗雷德隆德
2 艺术，托马斯
1 约翰·德里克
1 阿尔瓦罗·费尔南德斯·迪亚斯
1 朱利奥·马里诺
1 汉斯·斯文森

系列

2 程序设计中的逻辑和代数方法杂志

领域

4 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

1出版物有被引用4中的次4文件 引用人▼ 年份▼
验证Erlang代码：资源锁案例研究。 Zbl 1064.68548号
艺术，托马斯;克拉拉·贝纳克·厄尔;约翰·德里克
4
2002
验证Erlang代码：资源锁案例研究。 Zbl 1064.68548号
艺术，托马斯;厄尔，克拉拉·贝纳克;约翰·德里克
4
2002
全部的 前5名

8位作者引用

1 艾哈迈德·博阿贾尼
1 彼得·哈贝梅尔
1 哈ß，拉尔斯·海尔格
1 弗兰克，哈
1 诺尔，托马斯
1 马克·蒂默
1 范德波尔，扬·科内利斯
1 汤姆·沃纳

连载1篇

1 系统设计中的形式化方法

在1个字段中引用

4 计算机科学（68至XX）

按年份列出的引文