%0 Conference Paper %1 conf/soca/BianculliGS07 %A Bianculli, Domenico %A Ghezzi, Carlo %A Spoletini, Paola %B SOCA %D 2007 %I IEEE Computer Society %K %P 13-20 %T A Model Checking Approach to Verify BPEL4WS Workflows. %U http://dblp.uni-trier.de/db/conf/soca/soca2007.html#BianculliGS07 %@ 978-0-7695-2861-8

@inproceedings{conf/soca/BianculliGS07, added-at = {2023-12-13T00:40:51.000+0100}, author = {Bianculli, Domenico and Ghezzi, Carlo and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2fc6967a13e8226b8b8026bc4afd3af4c/admin}, booktitle = {SOCA}, crossref = {conf/soca/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/SOCA.2007.5}, interhash = {66ddaef564643a44441ae8c10a75b16a}, intrahash = {fc6967a13e8226b8b8026bc4afd3af4c}, isbn = {978-0-7695-2861-8}, keywords = {}, pages = {13-20}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:40:51.000+0100}, title = {A Model Checking Approach to Verify BPEL4WS Workflows.}, url = {http://dblp.uni-trier.de/db/conf/soca/soca2007.html#BianculliGS07}, year = 2007 }