Emmerich, W and 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
![[img]](/style/images/fileicons/application_pdf.png)
| 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 itemArchive Staff Only: edit this record