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.
Citazione stile Chigago Style (17a edizione)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, e Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
Citatione MLA (9a ed.)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.