Travelled to:
1 × Japan
Collaborated with:
M.Ogawa
Talks about:
pushdown (2) structur (1) automata (1) system (1) well (1) time (1) dens (1) case (1)
Person: Xiaojuan Cai
DBLP: Cai:Xiaojuan
Contributed to:
Wrote 1 papers:
- FLOPS-2014-CaiO #automaton
- Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.