Büchi Store: an open repository of ω-automata. - Yih-Kuen Tsay; Ming-Hsien Tsai 001; Jinn-Shu Chang; Yi-Wen Chang; Chi-Shiang Liu (Int. J. Softw. Tools Technol. Transf., 2013)