libalf: The Automata Learning Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon. libalf: The Automata Learning Framework. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 360-364, Springer, 2010. [doi]

This author has not been identified. Look up 'Benedikt Bollig' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Carsten Kern' in GoogleThis author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'Daniel Neider' in GoogleThis author has not been identified. Look up 'David R. Piegdon' in Google

runs on WebDSL