@article{476418,
      note = {Includes indexes.},
      author = {Esparza, Javier. and Spanfelner, Bernd. and Grumberg,  Orna.},
      url = {http://library.usi.edu/record/476418},
      title = {Logics and languages for reliability and security  [electronic resource] /},
      publisher = {IOS Press,},
      recid = {476418},
      pages = {ix, 325 p. :},
      address = {Washington, D.C. :},
      year = {2010},
}