Details for the publication DellErbaLS24.

Daniele Dell'Erba, Yong Li, Sven Schewe (): DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. In Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 11-13, 2024, Proceedings, 2024. URL