%0 Conference Paper %1 conf/fm/GaoZLSZJZ21 %A Gao, Song %A Zhan, Bohua %A Liu, Depeng %A Sun, Xuechao %A Zhi, Yanan %A Jansen, David N. %A Zhang, Lijun %B FM %D 2021 %E Huisman, Marieke %E Pasareanu, Corina S. %E Zhan, Naijun %I Springer %K dblp %P 741-751 %T Formal Verification of Consensus in the Taurus Distributed Database. %U http://dblp.uni-trier.de/db/conf/fm/fm2021.html#GaoZLSZJZ21 %V 13047 %@ 978-3-030-90870-6

@inproceedings{conf/fm/GaoZLSZJZ21, added-at = {2022-06-08T00:00:00.000+0200}, author = {Gao, Song and Zhan, Bohua and Liu, Depeng and Sun, Xuechao and Zhi, Yanan and Jansen, David N. and Zhang, Lijun}, biburl = {https://www.bibsonomy.org/bibtex/2943600df2c7a55e64108e6450d176eb2/dblp}, booktitle = {FM}, crossref = {conf/fm/2021}, editor = {Huisman, Marieke and Pasareanu, Corina S. and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-030-90870-6_42}, interhash = {3dc7eaad7063e1c073ce6d5a09f6b937}, intrahash = {943600df2c7a55e64108e6450d176eb2}, isbn = {978-3-030-90870-6}, keywords = {dblp}, pages = {741-751}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Formal Verification of Consensus in the Taurus Distributed Database.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2021.html#GaoZLSZJZ21}, volume = 13047, year = 2021 }