@proceedings{DBLP:conf/hase/1998,
  title     = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
               {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5939},
  isbn      = {0-8186-9221-9},
  timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hase/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WChgFqjxJwEHiH49N","bibbaseid":"anonymous-3rdieeeinternationalsymposiumonhighassurancesystemsengineeringhase981314november1998washingtondcusaproceedings-1998","downloads":0,"creationDate":"2018-12-15T20:25:17.579Z","title":"3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings","author_short":null,"year":1998,"bibtype":"proceedings","biburl":"https://dblp.org/pid/i/RavishankarKIyer.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings","publisher":"IEEE Computer Society","year":"1998","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5939","isbn":"0-8186-9221-9","timestamp":"Tue, 02 Dec 2014 17:13:29 +0100","biburl":"https://dblp.org/rec/bib/conf/hase/1998","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/hase/1998,\n title = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering\n {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},\n publisher = {{IEEE} Computer Society},\n year = {1998},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5939},\n isbn = {0-8186-9221-9},\n timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},\n biburl = {https://dblp.org/rec/bib/conf/hase/1998},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/hase/1998","id":"DBLP:conf/hase/1998","bibbaseid":"anonymous-3rdieeeinternationalsymposiumonhighassurancesystemsengineeringhase981314november1998washingtondcusaproceedings-1998","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5939"},"downloads":0},"search_terms":["3rd","ieee","international","symposium","high","assurance","systems","engineering","hase","november","1998","washington","usa","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["oReyvN2rDfSfvMRG3"]}