UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Model checking distributed objects

Emmerich, W; Kaveh, N; (2000) Model checking distributed objects. In: Obbink, H and Balzer, B, (eds.) (Proceedings) Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland. ACM Press Green open access

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
32Kb

Abstract

June 2000

Type:Proceedings paper
Title:Model checking distributed objects
Event:Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland
Dates:4000-06
Open access status:An open access version is available from UCL Discovery
Keywords:Ireland, June
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record