@book{DBLP:series/natosec/36,
  editor    = {Orna Grumberg and
               Helmut Seidl and
               Maximilian Irlbeck},
  title     = {Software Systems Safety},
  series    = {{NATO} Science for Peace and Security Series, {D:} Information and
               Communication Security},
  volume    = {36},
  publisher = {{IOS} Press},
  year      = {2014},
  isbn      = {978-1-61499-384-1},
  timestamp = {Mon, 06 Jul 2015 13:17:56 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/series/natosec/36},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"umCAPBTNKcqqLdSSH","bibbaseid":"grumberg-seidl-irlbeck-softwaresystemssafety-2014","downloads":0,"creationDate":"2017-02-03T08:36:24.318Z","title":"Software Systems Safety","author_short":null,"year":2014,"bibtype":"book","biburl":"http://dblp.org/pers/tb2/s/Sands:David","bibdata":{"bibtype":"book","type":"book","editor":[{"firstnames":["Orna"],"propositions":[],"lastnames":["Grumberg"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Seidl"],"suffixes":[]},{"firstnames":["Maximilian"],"propositions":[],"lastnames":["Irlbeck"],"suffixes":[]}],"title":"Software Systems Safety","series":"NATO Science for Peace and Security Series, D: Information and Communication Security","volume":"36","publisher":"IOS Press","year":"2014","isbn":"978-1-61499-384-1","timestamp":"Mon, 06 Jul 2015 13:17:56 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/series/natosec/36","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@book{DBLP:series/natosec/36,\n editor = {Orna Grumberg and\n Helmut Seidl and\n Maximilian Irlbeck},\n title = {Software Systems Safety},\n series = {{NATO} Science for Peace and Security Series, {D:} Information and\n Communication Security},\n volume = {36},\n publisher = {{IOS} Press},\n year = {2014},\n isbn = {978-1-61499-384-1},\n timestamp = {Mon, 06 Jul 2015 13:17:56 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/series/natosec/36},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["Grumberg, O.","Seidl, H.","Irlbeck, M."],"key":"DBLP:series/natosec/36","id":"DBLP:series/natosec/36","bibbaseid":"grumberg-seidl-irlbeck-softwaresystemssafety-2014","role":"editor","urls":{},"downloads":0},"search_terms":["software","systems","safety"],"keywords":[],"authorIDs":[],"dataSources":["GciRpJR9wsHeLoGmf"]}