Graph explorer

Research map

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

Amélie Stainer
Map detail
Amélie Stainer4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipAmélie StainerAAmélie StainerResearcherSynthesising Succinct Strategies in Safety GamesWSynthesising Succinct S...preprint / 2014Reachability of Communicating Timed ProcessesWReachability of Communi...preprint / 2012Off-line test selection with test purposes for non-deterministic timed automataWOff-line test selection...preprint / 2012
Person3 links

Amélie Stainer

Researcher