毛罗·贾斯克利奥夫 🌐和斯蒂芬·默兹 🌐
2005年6月22日
DiskPaxos-AFP公司
@文章{DiskPaxos-AFP,author={Mauro Jaskelioff和Stephan Merz},title={证明磁盘Paxos的正确性},journal={正式证据存档},月={6月},年份={2005},注释={\url{https://isa-afp.org/entries/DiskPaxos.html},形式证明开发},ISSN={2150-914x},}
旧版本: