Hardi Hungar, Oliver Niese, Bernhard Steffen
Domain-Specific Optimization in Automata Learning
CAV, 2003.
@inproceedings{CAV-2003-HungarNS, author = "Hardi Hungar and Oliver Niese and Bernhard Steffen", booktitle = "{Proceedings of the 15th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-45069-6_31", isbn = "3-540-40524-0", pages = "315--327", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Domain-Specific Optimization in Automata Learning}", volume = 2725, year = 2003, }