2008 | ||
---|---|---|
2 | EE | Alberto Portilla, Genoveva Vargas-Solar, Luciano Garcia-Banuelos, Christine Collet, José-Luis Zechinelli-Martini: Verifying Atomicity Requirements of Services Coordination Using B. ENC 2008: 238-248 |
2006 | ||
1 | EE | Alberto Portilla, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet, Luciano Garcia-Banuelos: A survey for analyzing transactional behavior in service based applications. ENC 2006: 116-126 |
1 | Christine Collet | [1] [2] |
2 | Alberto Portilla | [1] [2] |
3 | Genoveva Vargas-Solar | [1] [2] |
4 | José-Luis Zechinelli-Martini | [1] [2] |