BibTeX record: series/natosec/25

download as .bib file

@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},
  series    = {{NATO} Science for Peace and Security Series - {D:} Information and
               Communication Security},
  volume    = {25},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
  isbn      = {978-1-60750-099-5},
  timestamp = {Wed, 14 Mar 2012 15:16:15 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/natosec/25},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}