Compositional minimization of finite state systems

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Graf, Susanne 1958- (VerfasserIn), Steffen, Bernhard (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Aachen RWTH Aachen, Fachgruppe Informatik 1991
Schriftenreihe:Aachener Informatik-Berichte 1991,23
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!