%0 Conference Paper %1 conf/apscc/WeidlichDW07 %A Weidlich, Matthias %A Decker, Gero %A Weske, Mathias %B APSCC %D 2007 %E Li, Jie %E Guo, Minyi %E Jin, Qun %E Zhang, Yongbing %E Zhang, Liang-Jie %E Jin, Hai %E Mambo, Masahiro %E Tanaka, Jiro %E Hayashi, Hiromu %I IEEE Computer Society %K dblp %P 266-274 %T Efficient Analysis of BPEL 2.0 Processes Using p-Calculus. %U http://dblp.uni-trier.de/db/conf/apscc/apscc2007.html#WeidlichDW07 %@ 0-7695-3051-6

@inproceedings{conf/apscc/WeidlichDW07, added-at = {2023-05-26T00:00:00.000+0200}, author = {Weidlich, Matthias and Decker, Gero and Weske, Mathias}, biburl = {https://www.bibsonomy.org/bibtex/22821d9d27bc2e5dc50e4880fd8128af1/dblp}, booktitle = {APSCC}, crossref = {conf/apscc/2007}, editor = {Li, Jie and Guo, Minyi and Jin, Qun and Zhang, Yongbing and Zhang, Liang-Jie and Jin, Hai and Mambo, Masahiro and Tanaka, Jiro and Hayashi, Hiromu}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSCC.2007.36}, interhash = {4d5659191d25c3d87a655ece1229c93c}, intrahash = {2821d9d27bc2e5dc50e4880fd8128af1}, isbn = {0-7695-3051-6}, keywords = {dblp}, pages = {266-274}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:32:56.000+0200}, title = {Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/apscc/apscc2007.html#WeidlichDW07}, year = 2007 }