Improvement in JavaMOP by Simplifying Bchi Automaton.

Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao

Browse the full SETTA paper archive.