KIT | KIT-Bibliothek | Impressum

CASTOR: State assignment in a finite state machine synthesis system

Rietsche, Gerd; Neher, Michael



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 1991
Sprache Englisch
Identifikator KITopen ID: 9391
Erscheinungsvermerk In: Logic and architecture synthesis. IFIP Conf. 1990. Ed.: P. Michel. Amsterdam 1991. S. 121-129.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page