Graph explorer

Research map

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

Ian Dardik
Map detail
Ian Dardik2 visible / 2 total nodes / 1 links

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

AuthorshipIan DardikAIan DardikResearcherFormal Verification of a Distributed Dynamic Reconfiguration ProtocolWFormal Verification of ...preprint / 2021
Person1 links

Ian Dardik

Researcher