editedbook.bib

@proceedings{KW15,
  editor = {Roope Kaivola and Thomas Wahl},
  title = {Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, September 27-30, 2015},
  publisher = {{IEEE}},
  year = {2015},
  isbn = {978-0-9835678-5-1},
  timestamp = {Thu, 07 Jan 2016 15:56:54 +0100},
  pdf = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/proceedings/final.pdf},
  category = {editedbook}
}

@proceedings{RW13,
  editor = {Ajitha Rajan and Thomas Wahl},
  title = {{CESAR} {--} Cost-efficient Methods and Processes for Safety-relevant Embedded Systems},
  publisher = {Springer Verlag},
  year = {2013},
  isbn = {978-3-7091-1387-5},
  www = {http://www.springer.com/engineering/production+engineering/book/978-3-7091-1386-8},
  category = {editedbook}
}

This file was generated by bibtex2html 1.99.