Yu-Shiang Hwang

According to our database, Yu-Shiang Hwang authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

GOAL for Games, Omega-Automata, and Logics.

Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013