Logics and Languages for Reliability and Security

Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, 2010. [doi]

Abstract

Abstract is missing.

Table of Contents