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. Presented at: Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland. Green open access

[img]
Preview
PDF
2.7_modelchecking.pdf

Download (33kB)

Abstract

June 2000

Type: Conference item (UNSPECIFIED)
Title: Model checking distributed objects
Event: Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland
Dates: June 4000
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
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/875
Downloads since deposit
574Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item