Implementing CTL model checking within the BSN framework

  • J.H.M. Vaassen

Student thesis: Master

Abstract

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

Cite this

'