![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz: Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. ICWE 2010: 531-534 | |
| 2009 | ||
| 1 | Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo: Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. JISBD 2009: 367-370 | |
| 1 | Antonio García-Domínguez | [1] [2] |
| 2 | Inmaculada Medina-Bulo | [1] [2] |
| 3 | Manuel Palomo-Duarte | [1] [2] |
| 4 | Javier Santacruz | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page