Name
Title | ||
|---|---|---|
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). |
Year | Venue | DocType |
|---|---|---|
2016 | Dagstuhl Reports | Journal |
Volume | Issue | Citations |
6 | 5 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Julian Dolby | 1 | 0 | 2.03 |
| Orna Grumberg | 2 | 4361 | 351.99 |
| Peter Müller | 3 | 40 | 6.62 |
| Omer Tripp | 4 | 13 | 2.14 |