Bchi Store: An Open Repository of Bchi Automata.

Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang

Browse the full TACAS paper archive.