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
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 |