Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst. Simulating a Flash File System with CoreASM and Eclipse. In Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider, editors, Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). Volume 192 of LNI, pages 355, GI, 2011. [doi]
Abstract is missing.