BibTeX record journals/tos/ChoiNSYLKPWLM18

download as .bib file

@article{DBLP:journals/tos/ChoiNSYLKPWLM18,
  author       = {Jin{-}Yong Choi and
                  Eyee Hyun Nam and
                  Yoon Jae Seong and
                  Jinhyuk Yoon and
                  Sookwan Lee and
                  Hongseok Kim and
                  Jeongsu Park and
                  Yeong{-}Jae Woo and
                  Sheayun Lee and
                  Sang Lyul Min},
  title        = {{HIL:} {A} Framework for Compositional {FTL} Development and Provably-Correct
                  Crash Recovery},
  journal      = {{ACM} Trans. Storage},
  volume       = {14},
  number       = {4},
  pages        = {36:1--36:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3281030},
  doi          = {10.1145/3281030},
  timestamp    = {Fri, 10 Feb 2023 18:39:57 +0100},
  biburl       = {https://dblp.org/rec/journals/tos/ChoiNSYLKPWLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.