Citação norma APA

Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc, Esparza, J., Spanfelner, B., & Grumberg, O. (2010). Logics and languages for reliability and security. IOS Press.

Citação norma Chicago

Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, and Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.

Citação norma MLA

Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.