Minimal separating sets for Muller automata

Lecture Notes in Computer Science - Automata Implementation ◽

10.1007/bfb0031385 ◽

1998 ◽

pp. 109-121

Author(s):

Helmut Lescow ◽

Jens Vöge

Download Full-text