Synthesizing synchronous systems by static scheduling in space-time (e-book)
Lisper, Bjorn
Synthesizing synchronous systems by static scheduling in space-time (e-book) - Berlin Springer 1989 - Lecture Notes in Computer Science (LNCS) v.362 .
978-3-540-46172-2
Synthesizing synchronous systems by static scheduling in space-time (e-book) - Berlin Springer 1989 - Lecture Notes in Computer Science (LNCS) v.362 .
978-3-540-46172-2