Daniel Neider. Applications of automata learning in verification and synthesis. PhD thesis, RWTH Aachen University, 2014. [doi]
@phdthesis{dnb-960, title = {Applications of automata learning in verification and synthesis}, author = {Daniel Neider}, year = {2014}, url = {http://d-nb.info/1060851601}, researchr = {https://researchr.org/publication/dnb-960}, cites = {0}, citedby = {0}, school = {RWTH Aachen University}, }