Graph explorer

Research map

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

Parameterized Synthesis
Map detail
Parameterized Synthesis4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipTopic signalParameterized SynthesisWParameterized Synthesispreprint / 2014Swen JacobsASwen JacobsResearcherRoderick BloemARoderick BloemResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper3 links

Parameterized Synthesis

preprint / 2014