Philippe Andary, Pascal Caron, Jean-Marc Champarnaud, Gérard Duchamp, Marianne Flouret, Éric Laugerotte. SEA: A Symbolic Environment for Automata Theory. In Oliver Boldt, Helmut Jürgensen, editors, Automata Implementation, 4th International Workshop on Implementing Automata, WIA 99, Potsdam, Germany, July 17-19, 1999, Revised Papers. Volume 2214 of Lecture Notes in Computer Science, pages 13-26, Springer, 1999. [doi]
Abstract is missing.