Logic Synthesis for Finite State Machines Based on Linear Chains of States Thêm Sách Tương Tự

Application and Theory of Petri Nets and Concurrency

SSA-based Compiler Design