@inproceedings{Foster:2004, author = {Foster, H and Uchitel, S and Magee, J and Kramer, J}, pages = {738--741}, publisher = {IEEE Computer Soc}, title = {Compatibility verification for web service choreography}, year = {2004} }
TY - CPAPER AU - Foster,H AU - Uchitel,S AU - Magee,J AU - Kramer,J EP - 741 PB - IEEE Computer Soc PY - 2004/// SP - 738 TI - Compatibility verification for web service choreography ER -