Jinn-Shu Chang

According to our database, Jinn-Shu Chang authored at least 3 papers between 2009 and 2013.

Collaborative distances:

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

2013

Büchi Store: an open repository of ω-automata.

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

Int. J. Softw. Tools Technol. Transf., 2013

2011

Büchi Store: An Open Repository of Büchi Automata.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2009

Tool support for learning Büchi automata and linear temporal logic.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang

Formal Aspects Comput., 2009