Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-03077-7_15 | Haifa Verification Conference |
Field | DocType | Citations |
Asynchronous communication,Data structure,File system,Flash file system,Flash memory,Computer science,Wear leveling,Real-time computing,Formal specification,Computer hardware,Proof assistant,Embedded system | Conference | 5 |
PageRank | References | Authors |
0.44 | 13 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jörg Pfähler | 1 | 82 | 6.28 |
| Gidon Ernst | 2 | 144 | 14.46 |
| Gerhard Schellhorn | 3 | 769 | 56.43 |
| Dominik Haneberg | 4 | 182 | 13.37 |
| Wolfgang Reif | 5 | 64 | 4.83 |