conf.researchr.org / Junnan Xu
Not registered as user yet
Name: Junnan Xu
Contributions
TACAS 2019 | Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track |
ETAPS 2019 | Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track |