print · source · login   


Bernhard Steffen, Falk Howar, and Maik Merten: Introduction to Active Automata Learning from a Practical Perspective. In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science 6659, Springer 2011, pages 256-296