GOAL for Games, Omega-Automata, and Logics

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_62 ◽

2013 ◽

pp. 883-889 ◽

Author(s):

Ming-Hsien Tsai ◽

Yih-Kuen Tsay ◽

Yu-Shiang Hwang

Download Full-text