| |
| 2008 | ||
|---|---|---|
| 1 | EE | José L. Quiroz-Fabian, Manuel Aguilar Cornejo, Graciela Román-Alonso, Miguel A. Castro-García: Model Checking for Integrating Dynamic Load Distribution into Parallel Applications. ENC 2008: 221-231 |
| 1 | Miguel A. Castro-García | [1] |
| 2 | Manuel Aguilar Cornejo | [1] |
| 3 | Graciela Román-Alonso | [1] |