%0 Journal Article %1 journals/jise/DingWJ08 %A Ding, Zhijun %A Wang, Junli %A Jiang, Changjun %D 2008 %J J. Inf. Sci. Eng. %K dblp %N 5 %P 1309-1328 %T An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. %U http://dblp.uni-trier.de/db/journals/jise/jise24.html#DingWJ08 %V 24

@article{journals/jise/DingWJ08, added-at = {2009-01-13T00:00:00.000+0100}, author = {Ding, Zhijun and Wang, Junli and Jiang, Changjun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2073bf40e91de292752c34a32c6cb4623/dblp}, ee = {http://www.iis.sinica.edu.tw/page/jise/2008/200809_02.html}, interhash = {6d3b9b56188a07d433c4be5b4df6c911}, intrahash = {073bf40e91de292752c34a32c6cb4623}, journal = {J. Inf. Sci. Eng.}, keywords = {dblp}, number = 5, pages = {1309-1328}, timestamp = {2016-02-02T10:21:06.000+0100}, title = {An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.}, url = {http://dblp.uni-trier.de/db/journals/jise/jise24.html#DingWJ08}, volume = 24, year = 2008 }