Back to Results
First PageMeta Content
Leader election


Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University
Add to Reading List

Document Date: 2017-08-02 04:54:12


Open Document

File Size: 1,62 MB

Share Result on Facebook
UPDATE