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).