Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference22 articles.
1. Angluin, D.: A note on the number of queries needed to identify regular languages. Inf. Control 51(1), 76–87 (1981)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(1), 87–106 (1987)
3. Bohlin, T., Jonsson, B.: Regular inference for communication protocol entities. In: Technical Report 2008-024, Dept. of Information Technology, Uppsala University (2008)
4. Clarke, Edmund M., Grumberg, Orna., Jha, Somesh., Yuan, Lu, Veith, Helmut: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752–794 (2003)
5. Dupont, P.: Incremental regular inference. In: Proceedings of the Third ICGI-96, Number 1147 in LNAI (1996)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献