Formal methods for the verification of digital circuits

C.A.J. Eijk, van

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

933 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Electrical Engineering
Begeleider(s)/adviseur
  • Jess, Jochen, Promotor
  • Baeten, Jos, Promotor
  • Berkelaar, M.R.C.M., Co-Promotor
Datum van toekenning9 sep 1997
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's90-386-0370-3
DOI's
StatusGepubliceerd - 1997

Citeer dit