Technische Universitat Munchen (Germany), TECHNION. Israel Institute of Technology (Israel), ProQuest (Firm), Esparza, J., Spanfelner, B., & Grumberg, O. (2010). Logics and languages for reliability and security. IOS Press.
Chicago Style (17th ed.) CitationTechnische Universitat Munchen (Germany), TECHNION. Israel Institute of Technology (Israel), ProQuest (Firm), Javier Esparza, Bernd Spanfelner, and Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
MLA (9th ed.) CitationTechnische Universitat Munchen (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Warning: These citations may not always be 100% accurate.