WangZ11'

@inproceedings{DBLP:conf/hase/WangZ11,
  author    = {Qian Wang and
               Huibiao Zhu},
  title     = {Animating the Approach of Deriving Operational Semantics
               from Algebraic Semantics for Web Services},
  booktitle = {HASE},
  year      = {2011},
  pages     = {57-62},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.56},
  crossref  = {DBLP:conf/hase/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/hase/2011,
  editor    = {Taghi M. Khoshgoftaar},
  title     = {13th IEEE International Symposium on High-Assurance Systems
               Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12,
               2011},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {2011},
  isbn      = {978-1-4673-0107-7},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6113112},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}