Implementing CTL model checking within the BSN framework

  • J.H.M. Vaassen

Scriptie/Masterproef: Master

Samenvatting

Datum prijs29 feb 1996
Originele taalEngels
BegeleiderG.L.J.M. Janssen (Afstudeerdocent 1) & C.A.J. van Eijk (Afstudeerdocent 2)

Citeer dit

'