@inproceedings{deploy41,
       booktitle = {Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering},
           month = {December},
           title = {Precise Steps for Choreography Modeling for SOA Validation and Verification},
          author = {S. Wieczorek and A. Roth and A. Stefanescu and A. Charfi},
            year = {2008},
             url = {http://deploy-eprints.ecs.soton.ac.uk/41/}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>