Adelaide Research & Scholarship
Browsing "School of Computer Science" by Author 12th International Conference on Service-Oriented Computing (ICSOC) (3 Nov 2014 - 6 Nov 2014 : Paris, France)
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
| 2015 | TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions | Bourne, S.; Szabo, C.; Sheng, Q.; Toumani, F.; Pernici, B.; Grigori, D.; Benslimane, D.; Mendling, J.; HadjAlouane, N.; Blake, B.; Perrin, O.; Saleh, I.; Bhiri, S.; 12th International Conference on Service-Oriented Computing (ICSOC) (3 Nov 2014 - 6 Nov 2014 : Paris, France) |