(2010). Logics and languages for reliability and security edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic resource].
Chicago Style (17. basım) AtıfLogics and Languages for Reliability and Security Edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic Resource]. 2010.
MLA (9th ed.) AtıfLogics and Languages for Reliability and Security Edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic Resource]. 2010.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..