Name
Year | Venue | Field |
|---|---|---|
2007 | MBMV | Model checking,Computer science,Arithmetic |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Evgeny Pavlenko | 1 | 7 | 4.21 |
| Markus Wedler | 2 | 77 | 12.44 |
| Dominik Stoffel | 3 | 176 | 28.93 |
| Wolfgang Kunz | 4 | 236 | 33.71 |