Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is E. Zadok  [Clear All Filters]
Conference Paper
Model-Checking Support for File System Development, Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E. , Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)