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