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
2.7_modelchecking.pdf

Download (33kB)

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
URI: http://discovery.ucl.ac.uk/id/eprint/875
Downloads since deposit
523Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item