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.
Цитирование в стиле Чикаго (17-е изд.)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, и Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
Цитирование MLA (9-е изд.)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.