Correctnes proof for an implementation of the CSP-interaction mechanism

  • Jan Langewouters

Scriptie/Masterproef: Master

Datum prijs30 jun. 1993
Originele taalEngels
BegeleiderM. Rem (Afstudeerdocent 1) & Tom Verhoeff (Afstudeerdocent 2)

Citeer dit

'