Formal verification of sequential circuits using implicit state enumeration

  • A.A. Mets

Scriptie/Masterproef: Master

Datum prijs31 okt. 1994
Originele taalEngels
BegeleiderG.L.J.M. Janssen (Afstudeerdocent 1) & A. Kuehlmann (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 1,95 MB

    Type: Scriptie

'