Gajski, D. D. (2013). Embedded system design: Modeling, synthesis and verification. Springer.
Παραπομπή Chicago StyleGajski, Daniel D. Embedded System Design: Modeling, Synthesis and Verification. Dordrecht ; New Delhi: Springer, 2013.
Παραπομπή MLAGajski, Daniel D. Embedded System Design: Modeling, Synthesis and Verification. Springer, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.