Details for the publication SmetsersMJ16.
: Minimal Separating Sequences for All Pairs of States. In Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, volume 9618 of Lecture Notes in Computer Science, pages 181-193, 2016. DOI BIB