TY  - BOOK
AU  - Lisper, Bjorn
TI  - Synthesizing Synchronous Systems by Static Scheduling in Space-Time
SN  - 3540511563
CY  - Berlin
KW  - Synthesizing
KW  - Synchronous Systems
KW  - Static Scheduling
KW  - Space-Time
ER  -