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.
Chicago Style (17. basım) AtıfTechnische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, ve Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
MLA (9th ed.) AtıfTechnische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..