DBLP BibTeX Record 'journals/esl/RaffelsieperMS11'

@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},
  volume    = {3},
  number    = {1},
  year      = {2011},
  pages     = {9-12},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LES.2010.2091621},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}