Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges (Studies in Systems, Decision and Control, Band 113)
Erforscht die Logik‑Synthese für endliche Automaten über lineare Zustandsketten, verbindet klassische Theorie mit modernen Algorithmen und beleuch ...