Travelled to:1 × Spain
Collaborated with:H.Ohsaki
Talks about:pushdown (1) automata (1) visibl (1) model (1) check (1)
Person: Nguyen Van Tang
DBLP: Tang:Nguyen_Van
Contributed to:
2012Wrote 1 papers:
- LATA-2012-TangO #automaton #model checking #on the
- On Model Checking for Visibly Pushdown Automata (NVT, HO), pp. 408–419.