Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Implementing POOSL's conditional receive statement in PROMELA

  • L.J. van Bokhoven

Scriptie/Masterproef: Master

Datum prijs28 feb. 1998
Originele taalEngels
BegeleiderMartin J. Bastiaans (Afstudeerdocent 2) & W.M.G. van Bokhoven (Afstudeerdocent 1)

Citeer dit

'