Name
Year | Venue | Field |
|---|---|---|
2006 | MBMV | Model checking,Computer science,Algorithm,Theoretical computer science,Symbolic trajectory evaluation,Bounded function |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexander Jesser | 1 | 15 | 2.15 |
| Markus Wedler | 2 | 77 | 12.44 |
| Lars Hedrich | 3 | 267 | 31.08 |
| Wolfgang Kunz | 4 | 236 | 33.71 |