AlurDEFHIKLMPS01'

@inproceedings{DBLP:conf/emsoft/AlurDEFHIKLMPS01,
  author    = {Rajeev Alur and
               Thao Dang and
               Joel M. Esposito and
               Rafael B. Fierro and
               Yerang Hur and
               Franjo Ivancic and
               Vijay Kumar and
               Insup Lee and
               Pradyumna Mishra and
               George J. Pappas and
               Oleg Sokolsky},
  title     = {Hierarchical Hybrid Modeling of Embedded Systems},
  booktitle = {EMSOFT},
  year      = {2001},
  pages     = {14-31},
  ee        = {http://dx.doi.org/10.1007/3-540-45449-7_2},
  crossref  = {DBLP:conf/emsoft/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/emsoft/2001,
  editor    = {Thomas A. Henzinger and
               Christoph M. Kirsch},
  title     = {Embedded Software, First International Workshop, EMSOFT
               2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings},
  booktitle = {EMSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2211},
  year      = {2001},
  isbn      = {3-540-42673-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}