SunSADH06'

BibTeX

@inproceedings{DBLP:conf/seke/SunSADH06,
  author    = {Weixiang Sun and
               Tianjun Shi and
               Gonzalo Argote-Garcia and
               Yi Deng and
               Xudong He},
  title     = {Achieving a Better Middleware Design through Formal Modeling
               and Analysis},
  booktitle = {SEKE},
  year      = {2006},
  pages     = {463-468},
  crossref  = {DBLP:conf/seke/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seke/2006,
  editor    = {Kang Zhang and
               George Spanoudakis and
               Giuseppe Visaggio},
  title     = {Proceedings of the Eighteenth International Conference on
               Software Engineering {\&} Knowledge Engineering (SEKE'2006),
               San Francisco, CA, USA, July 5-7, 2006},
  booktitle = {SEKE},
  year      = {2006},
  isbn      = {1-891706-18-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}