Graph explorer

Research map

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

Yanjin Zhu
Map detail
Yanjin Zhu2 visible / 2 total nodes / 1 links

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

AuthorshipYanjin ZhuAYanjin ZhuResearcherAutomatic Verification of Message-Based Device DriversWAutomatic Verification ...preprint / 2012
Person1 links

Yanjin Zhu

Researcher