A | |
---|---|
[AZZ+21] | Jie An, Bohua Zhan, Naijun Zhan et Miaomiao Zhang. Learning nondeterministic real-time automata. ACM Transactions on Embedded Computing Systems 20(5s):99:1-99:26. ACM Press, octobre 2021. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1