Specification of DEDOS : concurrency control with ExSpect

  • P.T.A. Thijssen

Student thesis: Master

Abstract

Date of Award31 Dec 1991
Original languageEnglish
SupervisorLou J.A.M. Somers (Supervisor 1) & P.D.V. van der Stok (Supervisor 2)

Cite this

'