DBLP BibTeX Record 'journals/rts/HartigZPAGPR07'

@article{DBLP:journals/rts/HartigZPAGPR07,
  author    = {Hermann H{\"a}rtig and
               Steffen Zschaler and
               Martin Pohlack and
               Ronald Aigner and
               Steffen G{\"o}bel and
               Christoph Pohl and
               Simone R{\"o}ttger},
  title     = {Enforceable component-based realtime contracts},
  journal   = {Real-Time Systems},
  volume    = {35},
  number    = {1},
  year      = {2007},
  pages     = {1-31},
  ee        = {http://dx.doi.org/10.1007/s11241-006-9002-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}