Heidemarie Anlauff

• Ein formales Modell zur zeitrichtigen Beschreibung des Verhaltens endlicher Automaten und Anwendung des Modells in der Mikroprogrammierung