Domenico Bianculli, Carlo Ghezzi, Paola Spoletini. A Model Checking Approach to Verify BPEL4WS Workflows. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007, 19-20 June 2007, Newport Beach, California, USA. pages 13-20, IEEE Computer Society, 2007. [doi]
@inproceedings{BianculliGS07,
title = {A Model Checking Approach to Verify BPEL4WS Workflows},
author = {Domenico Bianculli and Carlo Ghezzi and Paola Spoletini},
year = {2007},
doi = {10.1109/SOCA.2007.5},
url = {http://dx.doi.org/10.1109/SOCA.2007.5},
tags = {model checking, meta-model, Meta-Environment, workflow, systematic-approach},
researchr = {https://researchr.org/publication/BianculliGS07},
cites = {0},
citedby = {0},
pages = {13-20},
booktitle = {IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007, 19-20 June 2007, Newport Beach, California, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2861-8},
}