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
Datum der Publikation: 2006
Ausgabe: 79
Nummer: 8
Seiten: 1141-1155
Art: Artikel