Name
Year | DOI | Venue |
|---|---|---|
2008 | 10.1145/1345206.1345257 | PPOPP |
Keywords | Field | DocType |
formal specification,model checking,mpi | Programming language,Model checking,Computer science,Formal specification,Language Of Temporal Ordering Specification,Formal methods,Formal verification | Conference |
Citations | PageRank | References |
9 | 0.62 | 4 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Guodong Li | 1 | 232 | 31.77 |
| Michael Delisi | 2 | 98 | 7.10 |
| Ganesh Gopalakrishnan | 3 | 1619 | 130.11 |
| Robert M. Kirby | 4 | 1443 | 115.55 |