Context sensitive interpolation for timed process algebra

  • W.F.B.W. van Niftrik

Student thesis: Master

Date of Award31 Aug 2008
Original languageEnglish
SupervisorJ. Markovski (Supervisor 1) & Erik P. de Vink (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 323 KB

    Type: Thesis

'