Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew, and Devadas, Srinivas. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. Retrieved from https://par.nsf.gov/biblio/10393240. Proceedings of the 2022 International Conference on Management of Data . Web. doi:10.1145/3514221.3517851.

Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew, & Devadas, Srinivas. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. Proceedings of the 2022 International Conference on Management of Data, (). Retrieved from https://par.nsf.gov/biblio/10393240. https://doi.org/10.1145/3514221.3517851

Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew, and Devadas, Srinivas. "Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness". Proceedings of the 2022 International Conference on Management of Data (). Country unknown/Code not available. https://doi.org/10.1145/3514221.3517851. https://par.nsf.gov/biblio/10393240.

@article{osti_10393240,
place = {Country unknown/Code not available}, title = {Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness}, url = {https://par.nsf.gov/biblio/10393240}, DOI = {10.1145/3514221.3517851}, abstractNote = {}, journal = {Proceedings of the 2022 International Conference on Management of Data}, author = {Xia, Yu and Yu, Xiangyao and Butrovich, Matthew and Pavlo, Andrew and Devadas, Srinivas}, }