Original language | English (US) |
---|---|
Title of host publication | Logics and languages for reliability and security |
Editors | J. Esparza, B. Spanfelner, O. Grumberg |
Publisher | IOS Press |
Pages | 1-29 |
State | Published - 2010 |
Publication series
Name | NATO Science for Peace and Security Series D: Information and Communication Security |
---|---|
Volume | 25 |