DBLP Record 'journals/jise/DingWJ08'

BibTeX

@article{DBLP:journals/jise/DingWJ08,
  author    = {Zhijun Ding and
               Junli Wang and
               Changjun Jiang},
  title     = {An Approach for Synthesis Petri Nets for Modeling and Verifying
               Composite Web Service},
  journal   = {J. Inf. Sci. Eng.},
  volume    = {24},
  number    = {5},
  year      = {2008},
  pages     = {1309-1328},
  ee        = {http://www.iis.sinica.edu.tw/page/jise/2008/200809_02.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}