Biblio

Export 1 results:
Filters: Author is Aimin Pan  [Clear All Filters]
2007
Liu X, Lin W, Pan A, Zhang Z.  2007.  WiDS Checker: Combating Bugs in Distributed Systems . 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07).