"Introduction to Active Automata Learning from a Practical Perspective."

Bernhard Steffen, Falk Howar, Maik Merten (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics