编辑配置文件（在新选项卡中打开） Wytse Oortwijn公司 合著者距离 作者ID： oortwijn.wytse公司 发布方式： Wytse Oortwijn公司 已编制索引的文档： 4出版物自2017年起 合著者： 7合著者具有4联合出版物 111位Co-Co作者 全部的 前5名合著者 0 单作者的 4 玛丽克·赫斯曼 2 古罗夫，帝力 1 斯特凡·布隆 1 Joosten，Sebastian J.C。 1 莫森野生动物园 1 范德波尔，扬·科内利斯 1 玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 系列 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 自动验证并行嵌套DFS。 Zbl 1517.68248号 Wytse Oortwijn公司；玛丽克·赫斯曼；Joosten，Sebastian J.C。；范德波尔（Jaco van de Pol） 2 2020 描述并发程序行为的抽象技术。 Zbl 1403.68034号 Wytse Oortwijn公司；斯特凡·布隆；古罗夫，帝力；玛丽克·赫斯曼；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 1 2017 自动验证并行嵌套DFS。 Zbl 1517.68248号 沃尔特维恩，怀泽；玛丽克·赫斯曼；Joosten，Sebastian J.C。；范德波尔（Jaco van de Pol） 2 2020 描述并发程序行为的抽象技术。 Zbl 1403.68034号 Wytse Oortwijn公司；斯特凡·布隆；古罗夫，帝力；玛丽克·赫斯曼；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 1 2017 全部的 前5名被9位作者引用 1 弗雷德里克·赫布雷托 1 玛丽克·赫斯曼 1 彼得·米勒 1 Wytse Oortwijn公司 1 莫森野生动物园 1 马尔特·施韦霍夫 1 范德波尔，扬·科内利斯 1 西蒙·威默 1 费利克斯·A·沃尔夫。 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文