Sciweavers

ICFEM
2009
Springer

RAFFS: Model Checking a Robust Abstract Flash File Store

14 years 7 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICFEM
Authors Paul Taverne, Cornelis Pronk
Comments (0)