Full name Familienname, Vorname
Goel, Aman
 
Main Affiliation Organisationszuordnung
 

Results 1-1 of 1 (Search time: 0.003 seconds).

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