%0 Conference Paper %1 conf/icws/DuanBLL04 %A Duan, Ziyang %A Bernstein, Arthur J. %A Lewis, Philip M. %A Lu, Shiyong %B ICWS %D 2004 %I IEEE Computer Society %K dblp %P 734-737 %T Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. %U http://dblp.uni-trier.de/db/conf/icws/icws2004.html#DuanBLL04 %@ 0-7695-2167-3

@inproceedings{conf/icws/DuanBLL04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Duan, Ziyang and Bernstein, Arthur J. and Lewis, Philip M. and Lu, Shiyong}, biburl = {https://www.bibsonomy.org/bibtex/2efea3997e4893ab908c43853ff1749b2/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2004.1314805}, interhash = {fdf139230c5effbbd3c310f0503fdf36}, intrahash = {efea3997e4893ab908c43853ff1749b2}, isbn = {0-7695-2167-3}, keywords = {dblp}, pages = {734-737}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:30:47.000+0200}, title = {Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2004.html#DuanBLL04}, year = 2004 }