Graph explorer

Research map

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

Andreas Korsten
Map detail
Andreas Korsten2 visible / 2 total nodes / 1 links

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

AuthorshipAndreas KorstenAAndreas KorstenResearcherDemonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network ConfigurationsWDemonstrating topoS: Th...preprint / 2016
Person1 links

Andreas Korsten

Researcher