Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/107832
| Citations | ||
| 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: | Lecture Notes in Artificial Intelligence, 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 1611-3349 |
| Conference Name: | 12th International Conference on Service-Oriented Computing (ICSOC) (3 Nov 2014 - 6 Nov 2014 : Paris, France) |
| Editor: | Toumani, F. Pernici, B. Grigori, D. Benslimane, D. Mendling, J. HadjAlouane, N. Blake, B. Perrin, O. Saleh, I. Bhiri, S. |
| Statement of Responsibility: | Scott Bourne, B, Claudia Szabo, and Quan Z. Sheng |
| Rights: | © Springer International Publishing Switzerland 2015 |
| DOI: | 10.1007/978-3-319-22885-3_39 |
| Published version: | http://dx.doi.org/10.1007/978-3-319-22885-3_39 |
| Appears in Collections: | Aurora harvest 8 Computer Science publications |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| RA_hdl_107832.pdf Restricted Access | Restricted Access | 989.95 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.