Günter Franke Manfred Koegst Zum Testen und Komplettieren von asynchronen Automaten bezüglich Prellunempfindlichkeit. 281-294 1977 13 Elektronische Informationsverarbeitung und Kybernetik 6 db/journals/eik/eik13.html#FrankeK77