Skip to content

Tisheng Chen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2009–2009

Best venue rank

National

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2009NSDIMODIST: 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