discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Fixing a MongoDB Replication Protocol Bug with TLA+
http://tla.msr-inria.inria.fr/kuppe/2019conf/06%20-%20William%20Schultz%20-%20Strangeloop%20TLA+%20Conference%202019%20Talk.pdf
5 comments
2/5/2022
databases , formalmethods , pdf