Media type: E-Article Title: Formal Methods for Eternal Networked Software Systems: Introduction to Active Automata Learning from a Practical Perspective Contributor: Steffen, Bernhard; Howar, Falk; Merten, Maik imprint: Springer Berlin Heidelberg, 2011 Published in: Formal Methods for Eternal Networked Software Systems Language: Not determined DOI: 10.1007/978-3-642-21455-4_8 ISSN: 0302-9743; 1611-3349 Origination: Footnote: