Biblio

Export 1 results:
Filters: Author is Marijn Heule  [Clear All Filters]
2021
Hance T, Heule M, Martins R, Parno B.  2021.  Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :115--131.