Minimal Separating Sets for Muller Automata

Helmut Lescow, Jens Vöge. Minimal Separating Sets for Muller Automata. In Derick Wood, Sheng Yu, editors, Automata Implementation, Second International Workshop on Implementing Automata, WIA 97, London, Ontario, Canada, September 18-20, 1997, Revised Papers. Volume 1436 of Lecture Notes in Computer Science, pages 109-121, Springer, 1997.

Abstract

Abstract is missing.