| commit | 3f2b2102db5e0eadfb56bc0495c4755aecf0c2d1 | [log] [tgz] |
|---|---|---|
| author | ImreSamu <ImreSamu@users.noreply.github.com> | Thu Feb 22 22:06:00 2018 +0100 |
| committer | ImreSamu <ImreSamu@users.noreply.github.com> | Thu Feb 22 22:06:00 2018 +0100 |
| tree | 949ec1cbe033535bed966e1449f5c3ae8a1e6ec7 | |
| parent | 1dfce301ec15380468b68b8e90391ccf80f0604b [diff] |
add: "Inferring and Asserting Distributed System Invariants"