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

  • J.A. Leenders

Student thesis: Master

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

Cite this

'