MartÃnez, D.; González, A.; Blanes, F.; Aquino, R.; Simo, J.; Crespo, A.
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors 2011, 11, 1059-1077.
https://doi.org/10.3390/s110101059
AMA Style
MartÃnez D, González A, Blanes F, Aquino R, Simo J, Crespo A.
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors. 2011; 11(1):1059-1077.
https://doi.org/10.3390/s110101059
Chicago/Turabian Style
MartÃnez, Diego, Apolinar González, Francisco Blanes, Raúl Aquino, José Simo, and Alfons Crespo.
2011. "Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks" Sensors 11, no. 1: 1059-1077.
https://doi.org/10.3390/s110101059
APA Style
MartÃnez, D., González, A., Blanes, F., Aquino, R., Simo, J., & Crespo, A.
(2011). Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors, 11(1), 1059-1077.
https://doi.org/10.3390/s110101059