Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
libalf: The Automata Learning Framework
CAV, 2010.
@inproceedings{CAV-2010-BolligKKLNP,
author = "Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker and Daniel Neider and David R. Piegdon",
booktitle = "{Proceedings of the 22nd International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-642-14295-6_32",
isbn = "978-3-642-14294-9",
pages = "360--364",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{libalf: The Automata Learning Framework}",
volume = 6174,
year = 2010,
}
Tags: