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
Année de publication: 2006
Volumen: 79
Número: 8
Pages: 1141-1155
Type: Article