Name
Year | Venue | Field |
|---|---|---|
2014 | TACAS | Model checking,Computer science,Theoretical computer science,Bounded function |
DocType | Citations | PageRank |
Conference | 15 | 0.73 |
References | Authors | |
4 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Kroening | 1 | 3084 | 187.60 |
| Michael Tautschnig | 2 | 425 | 25.84 |