BibTeX record: journals/esl/RaffelsieperMS11

download as .bib file

@article{DBLP:journals/esl/RaffelsieperMS11,
  author    = {Matthias Raffelsieper and
               Mohammad Reza Mousavi and
               J. Sleuters},
  title     = {Process Algebra as a Common Framework for Hardware/Software Coverification},
  journal   = {Embedded Systems Letters},
  year      = {2011},
  volume    = {3},
  number    = {1},
  pages     = {9--12},
  url       = {http://doi.ieeecomputersociety.org/10.1109/LES.2010.2091621},
  doi       = {10.1109/LES.2010.2091621},
  timestamp = {Thu, 30 Oct 2014 13:57:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/esl/RaffelsieperMS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}