Graph explorer

Research map

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

Didier Lime
Map detail
Didier Lime3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipDidier LimeADidier LimeResearcherControl and Synthesis of Non-Interferent Timed SystemsWControl and Synthesis o...preprint / 2012Interrupt Timed Automata with Auxiliary Clocks and ParametersWInterrupt Timed Automat...preprint / 2014
Person2 links

Didier Lime

Researcher