@proceedings{DBLP:conf/hase/2010,
  title     = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
               San Jose, CA, USA, November 3-4, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339},
  isbn      = {978-1-4244-9091-2},
  timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hase/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nxedA5AP4eHSEiYHS","bibbaseid":"anonymous-12thieeehighassurancesystemsengineeringsymposiumhase2010sanjosecausanovember342010-2010","downloads":0,"creationDate":"2019-01-01T21:29:59.528Z","title":"12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010","author_short":null,"year":2010,"bibtype":"proceedings","biburl":"https://dblp.org/pid/77/1325.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010","publisher":"IEEE Computer Society","year":"2010","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339","isbn":"978-1-4244-9091-2","timestamp":"Tue, 02 Dec 2014 17:13:29 +0100","biburl":"https://dblp.org/rec/bib/conf/hase/2010","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/hase/2010,\n title = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,\n San Jose, CA, USA, November 3-4, 2010},\n publisher = {{IEEE} Computer Society},\n year = {2010},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339},\n isbn = {978-1-4244-9091-2},\n timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},\n biburl = {https://dblp.org/rec/bib/conf/hase/2010},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/hase/2010","id":"DBLP:conf/hase/2010","bibbaseid":"anonymous-12thieeehighassurancesystemsengineeringsymposiumhase2010sanjosecausanovember342010-2010","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339"},"downloads":0},"search_terms":["12th","ieee","high","assurance","systems","engineering","symposium","hase","2010","san","jose","usa","november","2010"],"keywords":[],"authorIDs":[],"dataSources":["T3EXMrvgrg4i5Fdur"]}