Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference31 articles.
1. Model Checking;Clarke,1999
2. D. Lee, M. Yannakakis, Principles and methods of testing finite state machines—A survey, in: Proceedings of the IEEE, vol. 84, 1996, pp. 1090–1126.
3. Learning regular sets from queries and counterexamples;Angluin;Inform. and Comput.,1987
4. Language identification in the limit;Gold;Inform. Control,1967
5. J.L. Balcázar, J. Díaz, R. Gavaldà, Algorithms for learning finite automata from queries: A unified view, in: Advances in Algorithms, Languages, and, Complexity, 1997, pp. 53–72.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献