Büchi Store: an open repository of $$\omega $$ -automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu. Büchi Store: an open repository of $$\omega $$ -automata. STTT, 15(2):109-123, 2013. [doi]

This author has not been identified. Look up 'Yih-Kuen Tsay' in GoogleThis author has not been identified. Look up 'Ming-Hsien Tsai' in GoogleThis author has not been identified. Look up 'Jinn-Shu Chang' in GoogleThis author has not been identified. Look up 'Yi-Wen Chang' in GoogleThis author has not been identified. Look up 'Chi-Shiang Liu' in Google

runs on WebDSL