Jump to : Keyword | Contact | BibTex reference | EndNote reference |

WSFM07

S. Rosario, D. Kitchin, A. Benveniste, W. and Haar,S. Cook, C. Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.

Keyword

[ Web services ]

BibTex Reference

@InProceedings{WSFM07,
   Author = {Rosario, S. and Kitchin, D. and Benveniste, A. and Cook, W.    and Haar,S. and Jard, C.},
   Title = {Event Structure Semantics of ORC},
   BookTitle = {{4th International Workshop on Web Services and Formal Methods (WS-FM    2007)}},
   Address = {Brisbane, Australia},
   Month = {October},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)