Graph explorer

Research map

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

Lihui Lei
Map detail
Lihui Lei2 visible / 2 total nodes / 1 links

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

AuthorshipLihui LeiALihui LeiResearcherModel-Checking of Linear-Time Properties in Multi-Valued SystemsWModel-Checking of Linea...preprint / 2016
Person1 links

Lihui Lei

Researcher