Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosInproceedings Oct-2021