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

Research areas:	Uncategorized	Year:	2006
Type of Publication:	Article
Authors:	8, 12 2
Journal:	Journal of Systems and Software	Volume:	79
Number:	8	Pages:	1141-1155
Month:	August
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", }