(2010). Logics and languages for reliability and security edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic resource].
Citace podle Chicago (17th ed.)Logics and Languages for Reliability and Security Edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic Resource]. 2010.
Citace podle MLA (9th ed.)Logics and Languages for Reliability and Security Edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic Resource]. 2010.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..