Expressing liveness properties in trace theory

  • J.A. La Poutré

Scriptie/Masterproef: Master

Datum prijs31 aug. 1986
Originele taalEngels
BegeleiderM. Rem (Afstudeerdocent 1) & A. Kaldewaij (Afstudeerdocent 2)

Citeer dit

'