Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is W. Su  [Clear All Filters]
2021
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)