APA (7th ed.) Citation

NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany, IOS Press, Esparza, J., Spanfelner, B., & Grumberg, O. (2010). Logics and languages for reliability and security. IOS Press.

Chicago Style (17th ed.) Citation

NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany, IOS Press, Javier Esparza, Bernd Spanfelner, and Orna Grumberg. Logics and Languages for Reliability and Security. Amsterdam: IOS Press, 2010.

MLA (9th ed.) Citation

NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany, et al. Logics and Languages for Reliability and Security. IOS Press, 2010.