TY  - BOOK
AU  - Daniel D Gajski, Samar Abdi & Andreas Gerstlauer
TI  - Embedded System Design: Modeling,Synthesis and Verification
SN  - 9781441905031
U1  - 004.21 DAN 
PY  - 2009///
CY  - New York
PB  - Springer
ER  -