Patrice Godefroid

论文数

1

总引用数

828

H-Index

1

关于

暂无简介。

研究焦点

Code (set theory)1 · 828 次引用
Communications protocol1 · 828 次引用
Computer science1 · 828 次引用
Concurrency1 · 828 次引用
Concurrent computing1 · 828 次引用
Correctness1 · 828 次引用
Distributed computing1 · 828 次引用
Implementation1 · 828 次引用
Model checking1 · 828 次引用
Operating system1 · 828 次引用
Programming language1 · 828 次引用
State (computer science)1 · 828 次引用

主要成就

1
H 指数
1
论文
828
总引用数
828
篇均引用
🏆 最高被引论文
Model checking for programming languages using VeriSoft
828 次引用 · 1997
📈 最高产年份: 1997 (1 论文)
🤝 主要合作者: 0

代表论文

  1. 1
    Model checking for programming languages using VeriSoft
    828 次引用 · 1997
尚未生成