-
Selection by year
-
Selection by authors
-
Complete lists
Isola06
S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
Keyword
[ Web services ]
BibTex Reference
@InProceedings{Isola06,
Author = {Rosario, S. and Benveniste, A. and Haar, S. and Jard, C.},
Title = {Foundations for Web services Orchestrations: functional and QoS aspects},
BookTitle = {ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
Year = {2006}
}
EndNote Reference [help]
Get EndNote Reference (.ref)