|
|||||
|
|
Model-checking web services business activity protocols |
|
| Authors: | Abinoam P Marques Jr Anders P Ravn Jiří Srba Saleem Vighio |
| Affiliation: | 1. Brazilian Society of Health Informatics, Rua Tenente Gomes Ribeiro, 57-sala 33, Vila Clementino, S?o Paulo, SP, Brazil 2. Department of Computer Science, Aalborg University, Selma Lagerl?fs Vej 300, 9220, Aalborg East, Denmark |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |
