Author:
Bollig Benedikt,Katoen Joost-Pieter,Kern Carsten,Leucker Martin,Neider Daniel,Piegdon David R.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Oliveira, A.L., Silva, J.P.M.: Efficient Algorithms for the Inference of Minimum Size DFAs. Machine Learning 44(1/2), 93–119 (2001)
2. Lecture Notes in Computer Science;A. Groce,2002
3. Habermehl, P., Vojnar, T.: Regular Model Checking Using Inference of Regular Languages. ENTCS 138(3), 21–36 (2005)
4. Lecture Notes in Computer Science;D. Giannakopoulou,2009
5. Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. STTT 11(5), 393–407 (2009)
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献