Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yishuai Li
Map detail
Yishuai Li2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipYishuai LiAYishuai LiResearcherFrom C to Interaction Trees: Specifying, Verifying, and Testing a Networked ServerWFrom C to Interaction T...preprint / 2018
Person1 links

Yishuai Li

Researcher