Automata and Binary Decision Diagrams

Jean-Francis Michon, Jean-Marc Champarnaud. Automata and Binary Decision Diagrams. In Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi, editors, Automata Implementation, Third International Workshop on Implementing Automata, WIA 98, Rouen, France, September 17-19, 1998, Revised Papers. Volume 1660 of Lecture Notes in Computer Science, pages 178-182, Springer, 1998. [doi]

Abstract

Abstract is missing.