S. J. Woodman, D. J. Palmer, S. K. Shrivastava, and S. M. Wheater, "Notations for the specification and verification of composite web services," in In Proceedings of the International Enterprise Distributed Object Computing Conference (EDOC). 2004, IEEE Computer Society. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Position Paper: Formal Methods for Developing.. - Situation-Aware.. (2005) (Correct)
No context found.
S. J. Woodman, D. J. Palmer, S. K. Shrivastava, and S. M. Wheater, "Notations for the specification and verification of composite web services," in In Proceedings of the International Enterprise Distributed Object Computing Conference (EDOC). 2004, IEEE Computer Society.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC