DBLP BibTeX Record 'series/natosec/25'

@book{DBLP:series/natosec/25,
  editor    = {Javier Esparza and
               Bernd Spanfelner and
               Orna Grumberg},
  title     = {Logics and Languages for Reliability and Security},
  booktitle = {Logics and Languages for Reliability and Security},
  publisher = {IOS Press},
  series    = {NATO Science for Peace and Security Series - D: Information
               and Communication Security},
  volume    = {25},
  year      = {2010},
  isbn      = {978-1-60750-099-5},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}