Kogel,
Paul;
Klös,
Verena;
Glesner,
Sabine
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter
In Riesco, Adrian and Zhang, Min, Editor,
Formal Methods and Software Engineering,
Seite 227–243
In Riesco, Adrian and Zhang, Min, Editor
Herausgeber:
Springer International Publishing,
Cham
2022
- ISBN
- 978-3-031-17244-1