Cited By
View all- Aichernig BMuškardin EPferscher A(2022)Active vs. Passive: A Comparison of Automata Learning Paradigms for Network ProtocolsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.371.1371(1-19)Online publication date: 27-Sep-2022
- Meijer Jvan de Pol J(2019)Sound black-box checking in the LearnLibInnovations in Systems and Software Engineering10.1007/s11334-019-00342-6Online publication date: 30-May-2019
- van de Pol JMeijer J(2019)Synchronous or Alternating?Models, Mindsets, Meta: The What, the How, and the Why Not?10.1007/978-3-030-22348-9_24(417-430)Online publication date: 26-Jun-2019
- Show More Cited By