Exploiting structural similarities in a BDD-based verification method

C.A.J. Eijk, van, G.L.J.M. Janssen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProc. 2nd Conference on Theorem Provers in Circuit Design
Pagina's151-166
StatusGepubliceerd - 1994
Evenementconference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 -
Duur: 1 jan 1994 → …

Congres

Congresconference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994
Periode1/01/94 → …
AnderProc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994

Citeer dit