Implementing CTL model checking within the BSN framework

  • J.H.M. Vaassen

Student thesis: Master

Date of Award29 Feb 1996
Original languageEnglish
SupervisorG.L.J.M. Janssen (Supervisor 1) & C.A.J. van Eijk (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 1.36 MB

    Type: Thesis

'