Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Conference paper
Title: TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions
Author: Bourne, S.
Szabo, C.
Sheng, Q.
Citation: Proceedings of the 12th International Conference on Service-Oriented Computing, 2015 / Toumani, F., Pernici, B., Grigori, D., Benslimane, D., Mendling, J., HadjAlouane, N., Blake, B., Perrin, O., Saleh, I., Bhiri, S. (ed./s), vol.8954, pp.418-422
Publisher: Springer
Issue Date: 2015
Series/Report no.: Lecture Notes in Computer Science
ISBN: 9783319228846
ISSN: 0302-9743
Conference Name: 12th International Conference on Service-Oriented Computing (ICSOC) (03 Nov 2014 - 06 Nov 2014 : Paris, France)
Statement of
Scott Bourne, B, Claudia Szabo, and Quan Z. Sheng
Rights: © Springer International Publishing Switzerland 2015
RMID: 0030041223
DOI: 10.1007/978-3-319-22885-3_39
Appears in Collections:Computer Science publications

Files in This Item:
File Description SizeFormat 
RA_hdl_107832.pdfRestricted Access989.95 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.