APA (7th ed.) Citation

Gupta, R., Guernic, P. L., Shukla, S. K., & Talpin, J. (2004). Formal Methods and Models for System Design: A System Level Perspective. Springer US.

Chicago Style (17th ed.) Citation

Gupta, R., Paul Le Guernic, Sandeep Kumar Shukla, and Jean-Pierre Talpin. Formal Methods and Models for System Design: A System Level Perspective. Boston, MA: Springer US, 2004.

MLA (9th ed.) Citation

Gupta, R., et al. Formal Methods and Models for System Design: A System Level Perspective. Springer US, 2004.