Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning

Áreas de investigación:	Sin categoría	Año:	2006
Tipo de publicación:	Artículo
Autores:	8, 12 2
Journal:	Journal of Systems and Software	Volumen:	79
Número:	8	Páginas:	1141-1155
Mes:	Agosto
BibTex:
@article{LPGBRGFD06, author = "8,2,12,7,6,5,4,3", journal = "Journal of Systems and Software", month = "aug", number = "8", pages = "1141-1155", title = "{F}ormal {S}pecification {A}pplied to {D}istributed {M}ultiuser {S}ervices: {E}xperiences in {C}ollaborative {T}-learning", volume = "79", year = "2006", }