APA (7th ed.) Citation

Jard, C., & Roux, O. H. (2010). Communicating embedded systems: Software and design : formal methods (1st edition.). ISTE ; Wiley.

Chicago Style (17th ed.) Citation

Jard, Claude, and Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods. 1st edition. London : Hoboken, N.J.: ISTE ; Wiley, 2010.

MLA (9th ed.) Citation

Jard, Claude, and Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods. 1st edition. ISTE ; Wiley, 2010.