A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB : International Conference on Computer Technology and Development
In: INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT 3(3):497-508; Jg. 3 (2011) 3, S. 497-508
Konferenz
Zugriff:
Titel: |
A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB : International Conference on Computer Technology and Development
|
---|---|
Autor/in / Beteiligte Person: | Beggar, M.L. ; Lejian, L. |
Link: | |
Quelle: | INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT 3(3):497-508; Jg. 3 (2011) 3, S. 497-508 |
Veröffentlichung: | 2011 |
Medientyp: | Konferenz |
ISBN: | 978-0-7918-5991-9 (print) ; 0-7918-5991-6 (print) |
Sonstiges: |
|