Specification and verification of a circuit in ACPdrt-ID

  • J.M.S. van den Meerendonk

Student thesis: Master

Abstract

Date of Award29 Feb 1996
Original languageEnglish
SupervisorJ.C.M. Baeten (Supervisor 1) & S. Mauw (Supervisor 2)

Cite this

Specification and verification of a circuit in ACPdrt-ID
van den Meerendonk, J. M. S. (Author). 29 Feb 1996

Student thesis: Master