DBLP Record 'journals/pieee/AlurDEHIKMPS03'

BibTeX

@article{DBLP:journals/pieee/AlurDEHIKMPS03,
  author    = {Rajeev Alur and
               Thao Dang and
               Joel M. Esposito and
               Yerang Hur and
               Franjo Ivancic and
               Vijay Kumar and
               Insup Lee and
               Pradyumna Mishra and
               George J. Pappas and
               Oleg Sokolsky},
  title     = {Hierarchical modeling and analysis of embedded systems},
  journal   = {Proceedings of the IEEE},
  volume    = {91},
  number    = {1},
  year      = {2003},
  pages     = {11-28},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}