Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning
- López-Nores, M.
- Pazos-Arias, J.
- García-Duque, J.
- Blanco-Fernández, Y.
- Ramos-Cabrer, M.
- Gil-Solla, A.
- Fernández-Vilas, A.
- Díaz-Redondo, R.
ISSN: 0164-1212
Ano de publicación: 2006
Volume: 79
Número: 8
Páxinas: 1141-1155
Tipo: Artigo