Author:
Vaandrager Frits,Midya Abhisek
Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;F Aarts,2012
2. Aarts, F., Jonsson, B., Uijen, J., Vaandrager, F.: Generating models of infinite-state communication protocols using regular inference with abstraction. Formal Methods Syst. Des. 46(1), 1–41 (2014). https://doi.org/10.1007/s10703-014-0216-x
3. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
4. Angluin, D., Fisman, D.: Learning regular omega languages. Theor. Comput. Sci. 650, 57–72 (2016)
5. Benedikt, M., Ley, C., Puppis, G.: What you must remember when processing data words. In: Proceedings International Workshop on Foundations of Data Management, CEUR Workshop Proceedings 619. CEUR-WS.org (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献