Merkliste 
 1 Ergebnisse 
 
1

Crash consistency validation made easy:

, In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Jiang, Yanyan ; Chen, Haicheng ; Qin, Feng... - p. 133-143 , 2016