Paper Info
Title
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.
Year
DOI
Venue
2020
10.1007/978-3-030-63461-2_12
IFM
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Stefan Bodenmüller110.68
Gerhard Schellhorn276956.43
Wolfgang Reif391595.46