ZengLH08'

BibTeX

@inproceedings{DBLP:conf/sose/ZengLH08,
  author    = {Reng Zeng and
               Jianling Liu and
               Xudong He},
  title     = {A Formal Specification of Mondex Using SAM},
  booktitle = {SOSE},
  year      = {2008},
  pages     = {97-102},
  ee        = {http://dx.doi.org/10.1109/SOSE.2008.25},
  crossref  = {DBLP:conf/sose/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sose/2008,
  editor    = {Jonathan Lee and
               Deron Liang and
               Y. C. Cheng},
  title     = {The Fourth IEEE International Symposium on Service-Oriented
               System Engineering, SOSE 2008, 18-19 December 2008, Jhongli,
               Taiwan},
  booktitle = {SOSE},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}