Inproceedings,
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.
M. Weidlich, G. Decker, and M. Weske.APSCC, page 266-274. IEEE Computer Society, (2007)
Meta data
- BibTeX key
- conf/apscc/WeidlichDW07
- entry type
- inproceedings
- booktitle
- APSCC
- year
- 2007
- pages
- 266-274
- publisher
- IEEE Computer Society
- crossref
- conf/apscc/2007
- ee
- http://doi.ieeecomputersociety.org/10.1109/APSCC.2007.36
- isbn
- 0-7695-3051-6
- url
- http://dblp.uni-trier.de/db/conf/apscc/apscc2007.html#WeidlichDW07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
%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-12-12T22:43:11.000+0100},
author = {Weidlich, Matthias and Decker, Gero and Weske, Mathias},
biburl = {https://www.bibsonomy.org/bibtex/22821d9d27bc2e5dc50e4880fd8128af1/admin},
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 = {http://doi.ieeecomputersociety.org/10.1109/APSCC.2007.36},
interhash = {4d5659191d25c3d87a655ece1229c93c},
intrahash = {2821d9d27bc2e5dc50e4880fd8128af1},
isbn = {0-7695-3051-6},
keywords = {},
pages = {266-274},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T22:43:11.000+0100},
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
}