Graph explorer

Research map

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

David Mentré
Map detail
David Mentré3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipDavid MentréADavid MentréResearcherIncremental methods for checking real-time consistencyWIncremental methods for...preprint / 2020Computing maximally-permissive strategies in acyclic timed automataWComputing maximally-per...preprint / 2020
Person2 links

David Mentré

Researcher