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% үнэн зөв биш байж магадгүй.