You are here

Home › Research › Publications ›

{libalf}: the Automata Learning Framework

Title{libalf}: the Automata Learning Framework
Publication TypeConference Paper
Year of Publication2010
AuthorsBenedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M, Neider, D, Piegdon, D
Conference NameProceedings of the 22nd International Conference on Computer-Aided Verification (CAV'10)
SeriesLecture Notes in Computer Science
Volume6174
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-14295-6_32
Bibtex: 
@inproceedings {BKKLNP10,
	title = {{libalf}: the Automata Learning Framework},
	booktitle = {Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV{\textquoteright}10)},
	series = {Lecture Notes in Computer Science},
	volume = {6174},
	year = {2010},
	pages = {360{\textendash}364},
	publisher = {Springer},
	organization = {Springer},
	url = {http://dx.doi.org/10.1007/978-3-642-14295-6_32},
	author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker and Daniel Neider and David Piegdon}
}