Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi. Precise Steps for Choreography Modeling for SOA Validation and Verification. In Jonathan Lee, Deron Liang, Y. C. Cheng, editors, The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan. pages 148-153, IEEE Computer Society, 2008. [doi]
@inproceedings{WieczorekRSC08,
title = {Precise Steps for Choreography Modeling for SOA Validation and Verification},
author = {Sebastian Wieczorek and Andreas Roth and Alin Stefanescu and Anis Charfi},
year = {2008},
doi = {10.1109/SOSE.2008.43},
url = {http://dx.doi.org/10.1109/SOSE.2008.43},
tags = {modeling},
researchr = {https://researchr.org/publication/WieczorekRSC08},
cites = {0},
citedby = {0},
pages = {148-153},
booktitle = {The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan},
editor = {Jonathan Lee and Deron Liang and Y. C. Cheng},
publisher = {IEEE Computer Society},
}