author = {C.~Schneider},
title = {{Implementierung von Automaten-Algorithmen mit Hilfe von binären Entscheidungsdiagrammen}},
language = {german},
year = {1997},
note = {(Engl. translation: Implementation of Algorithms for Automatons with Binary Decision Diagrams - BDD)},
translation = {0},
school = {Lehrstuhl für Künstliche Intelligenz (Informatik VIII), Friedrich Alexander Universität Erlangen-Nürnberg},
length = {139},
type = {Diploma Thesis},
type = {Diploma Thesis}