%0 Journal Article %1 journals/tos/ChoiNSYLKPWLM18 %A Choi, Jin-Yong %A Nam, Eyee Hyun %A Seong, Yoon Jae %A Yoon, Jinhyuk %A Lee, Sookwan %A Kim, Hongseok %A Park, Jeongsu %A Woo, Yeong-Jae %A Lee, Sheayun %A Min, Sang Lyul %D 2018 %J ACM Trans. Storage %K dblp %N 4 %P 36:1-36:29 %T HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. %U http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18 %V 14

@article{journals/tos/ChoiNSYLKPWLM18, added-at = {2023-02-10T00:00:00.000+0100}, author = {Choi, Jin-Yong and Nam, Eyee Hyun and Seong, Yoon Jae and Yoon, Jinhyuk and Lee, Sookwan and Kim, Hongseok and Park, Jeongsu and Woo, Yeong-Jae and Lee, Sheayun and Min, Sang Lyul}, biburl = {https://www.bibsonomy.org/bibtex/2b06a03f5a2d6174d9a8288c7b7932e08/dblp}, ee = {https://doi.org/10.1145/3281030}, interhash = {9032f89cd94f79eb9d13d25c933ad551}, intrahash = {b06a03f5a2d6174d9a8288c7b7932e08}, journal = {ACM Trans. Storage}, keywords = {dblp}, number = 4, pages = {36:1-36:29}, timestamp = {2024-04-09T02:26:30.000+0200}, title = {HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.}, url = {http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18}, volume = 14, year = 2018 }