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.
Lua i Stíl Chicago (17ú heag.)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, agus Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
Lua MLA (9ú heag.)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.