Tisheng Chen
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2009 | ||
|---|---|---|
| 1 | MODIST: Transparent Model Checking of Unmodified Distributed Systems. Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou. NSDI 2009, 213-228. Web SearchBibTeXDownload | |
from DBLP and Google Scholar