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

'