MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Web Services and Formal Methods" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Formal Specification of a Web Services Protocol  
  • by Johnson, James E. Johnson, James E. Johnson, David E. Langworthy, David E. Langworthy, Leslie Lamport, Leslie Lamport, Friedrich H. Vogt, Friedrich H. Vogt — 2004 — University of Pisa
  • … in the proceedings of the First International Workshop on Web Services and Formal Methods (WS-FM 2004), held February…
  • Cited by 9 (2 self) – Add To MetaCart
  • unknown title  
  • by unknown authors
  • … on Web Services and Formal Methods, Int. Workshop on Web Languages and Formal Methods, Int. Workshop…
  • Add To MetaCart
  • Why does my service have no partners  
  • by Niels Lohmann — Services and Formal Methods, Fifth International Workshop, WS-FM 2008
  • … does my service have no partners? In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB