Travelled to:
1 × France
Collaborated with:
∅
Talks about:
reachabl (1) pushdown (1) resourc (1) graph (1) game (1)
Person: Martin Lang 0001
DBLP: 0001:Martin_Lang
Contributed to:
Wrote 1 papers:
- FoSSaCS-2014-Lang #automaton #game studies #graph #reachability
- Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.