TY  - BOOK
A2  - ed. by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
A3  - Grumberg, Orna.
A3  - Esparza, Javier.
A3  - Spanfelner, Bernd.
NV  - IX, 325 s. :
PY  - 2010
SN  - 9781607500995
SN  - 9781607501008
TI  - Logics and languages for reliability and security /
VL  - vol. 25
ER  -