Tisheng Chen

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI (2009)