Application of BDD's in formal verification

G.L.J.M. Janssen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 22nd International School and Conference on CAD
Pages49-53
Publication statusPublished - 1995
Eventconference; Proc. 22nd International School and Conference on CAD, Yalta-Gurzuff, Ukraine, 4 May 1995 -
Duration: 1 Jan 1995 → …

Conference

Conferenceconference; Proc. 22nd International School and Conference on CAD, Yalta-Gurzuff, Ukraine, 4 May 1995
Period1/01/95 → …
OtherProc. 22nd International School and Conference on CAD, Yalta-Gurzuff, Ukraine, 4 May 1995

Cite this