Datum prijs | 31 aug. 1986 |
---|---|
Originele taal | Engels |
Begeleider | M. Rem (Afstudeerdocent 1) & A. Kaldewaij (Afstudeerdocent 2) |
Expressing liveness properties in trace theory
Scriptie/Masterproef: Master
Scriptie/Masterproef: Master
Datum prijs | 31 aug. 1986 |
---|---|
Originele taal | Engels |
Begeleider | M. Rem (Afstudeerdocent 1) & A. Kaldewaij (Afstudeerdocent 2) |