APA Citation

Martínez Castro, D., González, A., Blanes, F., Aquino-Santos, R., Simo, J., & Crespo, A. (2011). Formal specification and design techniques for wireless sensor and actuator networks.

Chicago Style Citation

Martínez Castro, Diego, Apolinar González, Francisco Blanes, Raul Aquino-Santos, José Simo, and Alfons Crespo. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. 2011.

MLA Citation

Martínez Castro, Diego, et al. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. 2011.

Warning: These citations may not always be 100% accurate.