Formele specificatie van netwerk-protocollen in EXSPECT en de implementatie daarvan in OCCAM

  • J.A. Leenders

Student thesis: Master

Abstract

Date of Award31 May 1989
Original languageDutch
SupervisorKees M. van Hee (Supervisor 1), G.J.P.M. Houben (Supervisor 2) & Lou J.A.M. Somers (Supervisor 2)

Cite this

'