FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (bibtex)
by , , , , , , ,
Reference:
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy), 2022. (In submission)
Bibtex Entry:
@misc{fastver2,
  author = {Arvind Arasu and
            Tahina Ramananandro and
            Aseem Rastogi and
            Nikhil Swamy and
            Aymeric Fromherz and
            Kesha Hietala and
            Bryan Parno and
            Ravi Ramamurthy},
  title = {FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores},
  year = 2022,
  month = September,
  url = {https://www.fstar-lang.org/papers/fastver2.pdf},
  note = {In submission},
}
Powered by bibtexbrowser