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

[thumbnail of 2.7_modelchecking.pdf]
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: June 4000
Open access status: An open access version is available from UCL Discovery
Keywords: Ireland, June
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/875
Downloads since deposit
605Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item