25 Apr 2018
Prof. Zhang was invited to give a lecture at SETSS 2018
Lijun Zhang is going to give a lecture on “Omega-Automata Learning Algorithms and Its Application” at SETSS 2018
Lijun Zhang is going to give a lecture on “Omega-Automata Learning Algorithms and Its Application” at SETSS 2018