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
![[thumbnail of 2.7_modelchecking.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) 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
604Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
