Biblio

Export 1 results:
Filters: Author is Tisheng Chen  [Clear All Filters]
2009
Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L.  2009.  MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 09).