HuYZZLZ05'

@inproceedings{DBLP:conf/euc/HuYZZLZ05,
  author    = {Jun Hu and
               Xiaofeng Yu and
               Yan Zhang and
               Tian Zhang and
               Xuandong Li and
               Guoliang Zheng},
  title     = {Checking Component-Based Embedded Software Designs for Scenario-Based
               Timing Specifications},
  booktitle = {EUC},
  year      = {2005},
  pages     = {395-404},
  ee        = {http://dx.doi.org/10.1007/11596356_41},
  crossref  = {DBLP:conf/euc/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/euc/2005,
  editor    = {Laurence Tianruo Yang and
               Makoto Amamiya and
               Zhen Liu and
               Minyi Guo and
               Franz J. Rammig},
  title     = {Embedded and Ubiquitous Computing - EUC 2005, International
               Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005,
               Proceedings},
  booktitle = {EUC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3824},
  year      = {2005},
  isbn      = {3-540-30807-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}