Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1990
Vissers, C.A. and van de Lagemaat, J. and Ferreira Pires, L.
(1990)
Formal description techniques for distributed computing systems: the challenges for the 1990's.
In: Proceedings of Second IEEE Workshop on Future Trends of Distributed Computing Systems, 30 Sep - 2 Oct 1990, Cairo, Egypt.
pp. 465-471.
IEEE Computer Society.
ISBN 0 8186 2088 9
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||