Graph explorer

Research map

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

Lennart Beringer
Map detail
Lennart Beringer2 visible / 2 total nodes / 1 links

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

AuthorshipLennart BeringerALennart BeringerResearcherFrom C to Interaction Trees: Specifying, Verifying, and Testing a Networked ServerWFrom C to Interaction T...preprint / 2018
Person1 links

Lennart Beringer

Researcher