Travelled to:1 × Hungary
1 × Portugal
Collaborated with:Y.Tsay Y.Chen M.Tsai C.Luo K.Wu
Talks about:automata (2) tempor (2) tool (2) goal (2) research (1) manipul (1) graphic (1) formula (1) toward (1) extend (1)
Person: Wen-Chin Chan
DBLP: Chan:Wen=Chin
Contributed to:
20082007Wrote 2 papers:
- TACAS-2008-TsayCTCL #automaton #logic #research #towards
- GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.
- TACAS-2007-TsayCTWC #automaton #named #visual notation
- GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.