|
|||||
|
|
Towards verifying contract regulated service composition |
|
| Authors: | Alessio Lomuscio Hongyang Qu Monika Solanki |
| Affiliation: | 1. Department of Computing, Imperial College London, London, SW7 2AZ, UK 2. Oxford University Computing Laboratory, Oxford, OX1 3QD, UK 3. Department of Computer Science, University of Leicester, Leicester, LE1 7RH, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |